Mickaël Leduque wrote: > That's not exactly a big concern, but... why is the "Preferences" entry > of the menu in the "Tools" menu instead of the more usual "Edit" place? > (not sure of the exact names, my lyx is hopefully in french). >
The location of the preferences changed some time ago. The old location was a relic of usability of the past. Actual place corresponds to custom usability. See openoffice or KDE, Gnome applications. Cheers, Charles
