On Jul 19, 2011, at 08:17 PM, Sebastien Bacher wrote:
>you can probably use "gsettings set org.gnome.desktop.interface.gtk-key- >theme "Emacs""
There's an extra dot in there, but yep, that works great:
$ gsettings set org.gnome.desktop.interface gtk-key-theme "Emacs"
Thanks!
On Jul 19, 2011, at 08:17 PM, Sebastien Bacher wrote:
>you can probably use "gsettings set org.gnome. desktop. interface. gtk-key-
>theme "Emacs""
There's an extra dot in there, but yep, that works great:
$ gsettings set org.gnome. desktop. interface gtk-key-theme "Emacs"
Thanks!