> Or we have to find an elegant way for dealing with minor switches. >
I like it the gnome way: expose only a sensible minimum of thins so that the interface remains easy, then provide (through the gconf-editor and the CLI gconftool-2, try it) a tree browser that allows to set values for every imaginable option in an uniform way. _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
