Hello protege-team, Long - long time ago I asked for a feature: Let Protege remember a font size that I set in a previous session, and Jennifer answered that this will be included in the feature request list. Is it still there? :) Sincerely, Ru