Takuro Ashie
ashie****@homa*****
2003年 9月 3日 (水) 02:47:12 JST
足永です. キーアクセラレータをGUIで設定できるようにしました. メニューの 編集(_E) -> キーアクセラレーター(_K) にあります. ほとんどのキーは割り当て可能だと思いますが,GTK+の問題で,ロケーション エントリ等でもキーアクセラレータが優先されてしまいます. この問題に関しては一応対策は考えてありますが,いつ実装するかは分かりま せん.