Currently the font size is set to Comfortable, but I find that most often I want it larger, so I press Ctrl+, sometimes even twice before I'm "comfortable". I'd like to change the setting to that size permanently, but I can't find the appropriate setting, assuming there is one. Ideas? -- Arthur