Hey, So a number of the preferences menu entries have needless renames. Is this really desirable/necessary - just thinking in terms of patch maintenance and localization cost. Does it really get us anywhere?
Proposed Community ===================================== File Manager File Management Fonts Font Session Sessions I'd like to avoid doing these types of changes. Glynn
