On Wed, Aug 27, Carl Xiong wrote: > Hmmmmm....surely not very end-user friendly...but feature-rich, allowing > for more possibilities...
Thanks for your suggestion. I think the GUI knob was called emacs-like or something. Since it was useful it had to be removed. > PS: "gnome-tweak-tool, Typing" has some extra tweaks towards > keyboard/typing, which might be useful. This controls other aspects. And the menus are truncated anyway so its hard to tell what it does. Olaf -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
