GNU/Linux
Ubuntu 11.04から11.10にアップグレードした後、gtk_key_theme=Emacsの設定が効かなくなってた。 単にデフォルト設定に戻されたのかと思ったが、gconf-editorで見るとEmacsになっている。 以下でバグとして報告されている現象と同じ? Bug #872936 “gconf-ed…
Ubuntu 11.04から11.10にアップグレードした後、gtk_key_theme=Emacsの設定が効かなくなってた。 単にデフォルト設定に戻されたのかと思ったが、gconf-editorで見るとEmacsになっている。 以下でバグとして報告されている現象と同じ? Bug #872936 “gconf-ed…