http://www.eml.ele.cst.nihon-u.ac.jp/~momma/wiki/wiki.cgi/Ubuntu/Gnome%E3%81%A7Emacs%E3%82%AD%E3%83%BC%E3%83%90%E3%82%A4%E3%83%B3%E3%83%89.html
より。
gconf-editorってのを起動して、
desktop->gnome->interface->gtk_key_theme
をEmacsに書き換える。 これでCtrl-*のキーバインドが使えるようになる。
らしいです。(引用部太字)ちなみにデフォルトではHumanとなっています。
0 件のコメント:
コメントを投稿