Peter Kümmel wrote: > Jean-Marc Lasgouttes wrote: >>>>>>> "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. > > Two size would be fine. > >> What is your favourite size, BTW? > > I think 26 for the normal size and 20 for the small size > should be ok on Windows.
Seems 20 was the value of 1.4. Peter
