|
hint.optional
|
optional
|
|
|
|
dlg.newident.scope.dir
|
Current Directory
|
|
|
|
dlg.bookmark.parentfolder
|
Parent folder:
|
|
|
|
hint.dlg.bookmark.tags
|
space-separated terms
|
|
|
|
dlg.bookmark.notes
|
Notes:
|
|
|
|
hint.dlg.bookmark.notes
|
free-form private notes
|
|
|
|
dlg.bookmark.identity
|
Pinned identity:
|
|
|
|
heading.prefs.support
|
Support
|
|
|
|
heading.prefs.user
|
User Data
|
|
|
|
heading.prefs.monodoc
|
Monospace Appearance
|
|
|
|
heading.font.options
|
Options
|
|
|
|
heading.prefs.appearance
|
Appearance
|
|
|
|
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.gamepad
|
Gamepad
|
|
|
|
heading.prefs.layout
|
Page Layout
|
|
|
