2017-12-02 23:58:25 +01:00
|
|
|
|
# Hidden Preferences
|
|
|
|
|
|
|
|
|
|
|
|
See AppDefaults.swift for the app’s preference keys, including hidden prefs.
|
|
|
|
|
|
|
2017-12-03 01:02:50 +01:00
|
|
|
|
Hidden preferences tend to be named for a person:
|
|
|
|
|
|
|
|
|
|
|
|
1. To distinguish them from regular, un-hidden preferences, and
|
|
|
|
|
|
2. So we can remember who asked for them.
|
|
|
|
|
|
|
|
|
|
|
|
#### Main window titles
|
|
|
|
|
|
|
|
|
|
|
|
The main window doesn’t display its title, partly because it looks cooler that way and partly because it’s redundant information.
|
|
|
|
|
|
|
|
|
|
|
|
The downside to this is that title-less windows do not allow the toolbar to show button names. (This is an AppKit thing.)
|
|
|
|
|
|
|
|
|
|
|
|
To turn window titles on, set `KafasisTitleMode` to true.
|
