|
dlg.bookmark.parentfolder
|
Parent folder:
|
Dossier parent :
|
|
|
dlg.bookmark.tags
|
Tags:
|
Étiquettes :
|
|
|
hint.dlg.bookmark.tags
|
space-separated terms
|
|
|
|
dlg.bookmark.notes
|
Notes:
|
|
|
|
hint.dlg.bookmark.notes
|
free-form private notes
|
|
|
|
dlg.bookmark.identity
|
Pinned identity:
|
|
|
|
dlg.bookmark.icon
|
Icon:
|
Icône :
|
|
|
heading.bookmark.tags
|
Behavior
|
Étiquettes spéciales
|
|
|
heading.addfolder
|
Add Folder
|
Ajouter un dossier
|
|
|
dlg.addfolder.defaulttitle
|
New Folder
|
Nouveau dossier
|
|
|
dlg.addfolder.prompt
|
Enter the name of the new folder:
|
Entrez le nom du nouveau dossier :
|
|
|
dlg.addfolder
|
Add Folder
|
Ajouter un dossier
|
|
|
heading.prefs
|
Preferences
|
Préférences
|
|
|
heading.settings
|
Settings
|
Paramètres
|
|
|
heading.prefs.certs
|
Certificates
|
Certificats
|
|
|
heading.prefs.support
|
Support
|
Support
|
|
|
heading.prefs.user
|
User Data
|
|
|
|
heading.prefs.colors
|
Colors
|
Couleurs
|
|
|
heading.prefs.fonts
|
Fonts
|
Polices
|
|
|
heading.prefs.monodoc
|
Monospace Appearance
|
|
|
