On Thu, Dec 03, 2020 at 07:09:12PM +0100, Jean-Marc Lasgouttes wrote: > * What is popular ? > > lapinot: cat user-prefs/*/* | sed 's/^\*//'|grep -o '^\\[^ ]* ' |sort |uniq > -c|sort -k 1n ... > 5 \fullscreen_scrollbar > 5 \paragraph_markers > 6 \load_session > 6 \screen_font_roman > 6 \spellcheck_continuously > 9 \preview > 10 \screen_zoom > 10 \single_instance > 12 \user_email > 13 \screen_font_sizes > 13 \user_name > 19 \converter > 33 \set_color > 54 \format > > Things we could look at for change of default: > single_instance > preview > spellcheck_continuously > load_session > ... and others
Are the listed prefs coming with same argument (i.e. all found \single_instance have "false"?) And what is in your opinion count required for change? >50% of users changing the default setting? Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
