|
dlg.newident.scope.dir
|
Current Directory
|
|
|
|
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.bookmark.tags
|
Behavior
|
Étiquettes spéciales
|
|
|
heading.prefs.user
|
User Data
|
|
|
|
heading.prefs.monodoc
|
Monospace Appearance
|
|
|
|
heading.font.options
|
Options
|
|
|
|
heading.prefs.appearance
|
Appearance
|
|
|
|
heading.prefs.interface
|
Behavior
|
Interface
|
|
|
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
|
|
|
|
heading.prefs.content
|
Content
|
|
|
