forked from greasemonkey/greasemonkey
/
gm-browser.properties
21 lines (21 loc) · 1.16 KB
/
gm-browser.properties
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
menuitem.manage=Gérer les scripts
menuitem.new=Nouveau script
menuitem.install=Installer ce script…
tooltip.disabled=Greasemonkey est désactivé.
tooltip.enabled=Greasemonkey est activé.
tooltip.loading=Chargement en cours…
statusbar.installed=a été installé avec succès.
install.msg=Vous allez installer ce script Greasemonkey :
greeting.msg=Ceci est un script Greasemonkey. Cliquer sur « Installer » afin de pouvoir l'utiliser.
greeting.btn=Installer
greeting.btnAccess=I
alert.fromURI=Téléchargement du script…
alert.fromURI.failure=Impossible de télécharger le script correctement
alert.success=a été installé avec succès.
alert.failure=Erreur lors de l'installation du script :
editor.prompt=Désignez un éditeur de texte (par exemple "C:\\WINDOWS\\NOTEPAD.EXE")
editor.please_pick_executable=Merci d'indiquer quel exécutable utiliser pour l'édition des scripts.
editor.could_not_launch=Impossible de lancer l'éditeur.
newscript.noname=Merci de fournir un nom pour votre script.
newscript.nonamespace=Merci de fournir un espace de noms pour votre script.
newscript.exists=Un script portant ce nom-là est déjà installé.\nD'accord pour le remplacer ?