Pavel Sanda wrote: > i would let "View [Other formats]" to be "View (Other formats)" > for better discernment from "View [format]".
OK. > > > i still volunteer for adding the rc entry since > > > clearly we are not able to agree what the good ui is. > > > > > > No, please don't clutter the prefs for that. Have a look at the new > > scheme and tell me why the default format needs to be listed in the > > submenu. > > one can just automatically go to that submenu and then choose what he wants > instead of +few miliseconds of thinking in which hierarchy level should he > look. Hm. Do you really think this is so hard? We have many submenus like this (e.g., in Navigate). > will patch my own local lyx tree and will wait whether some other users > start to scream or its only my own grumble. OK. Jürgen