|
dlg.addfolder
|
Add Folder
|
|
|
|
heading.prefs
|
Preferences
|
|
|
|
heading.settings
|
Settings
|
|
|
|
heading.prefs.certs
|
Certificates
|
|
|
|
heading.prefs.support
|
Support
|
|
|
|
heading.prefs.user
|
User Data
|
|
|
|
heading.prefs.colors
|
Colors
|
|
|
|
heading.prefs.fonts
|
Fonts
|
|
|
|
heading.prefs.monodoc
|
Monospace Appearance
|
|
|
|
heading.font.options
|
Options
|
|
|
|
heading.prefs.general
|
General
|
|
|
|
heading.prefs.appearance
|
Appearance
|
|
|
|
heading.prefs.interface
|
Behavior
|
|
|
|
heading.prefs.ui
|
User Interface
|
|
|
|
heading.prefs.theme
|
Theme
|
|
|
|
heading.prefs.sidebars
|
Sidebars
|
|
|
|
heading.prefs.sidebars.tabs
|
Sidebar Tabs
|
|
|
|
prefs.sidebar.left
|
Left
|
|
|
|
prefs.sidebar.right
|
Right
|
|
|
|
heading.prefs.keys
|
Keys
|
|
|
