>>>>> "Peter" == Peter Kümmel <[EMAIL PROTECTED]> writes:
Peter> But some people like smaller (sub-optimal-scaled) icons, it was Peter> already requested on the list. And nobody is forced to change Peter> the size when he doesn't like it. A rule of thumb of interface design is to avoid adding prefs for all tiny things people may want to do (think firefox vs. mozilla, for example). Lately the effort has been on removing lyxrc entries rather than adding some. While a small/large icons switch makes sense, allowing all sizes does not IMO. What is your favourite size, BTW? As far as the list is concerned, all I saw were complaints about the qt4 frontend using larger icons than qt3. JMarc
