|
16.
|
|
|
New Document
|
|
|
|
Nouveau document
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1057
|
|
17.
|
|
|
Paste
|
|
|
|
Coller
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1062
|
|
18.
|
|
|
Undo
|
|
|
|
Annuler
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1066
|
|
19.
|
|
|
Redo
|
|
|
|
Rétablir
|
|
Translated and reviewed by
Jean-Marc
|
In upstream: |
|
Refaire
|
|
|
Suggested by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1070
|
|
20.
|
|
|
Select all
|
|
|
|
Tout sélectionner
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
desktopManager.js:615
|
|
21.
|
|
|
Show Desktop in Files
|
|
|
|
Ouvrir le bureau dans Fichiers
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1084
|
|
22.
|
|
|
Open in Terminal
|
|
|
|
Ouvrir un terminal
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1088 app/fileItemMenu.js:358
|
|
23.
|
|
|
Change Background…
|
|
|
|
Changer l’arrière‑plan…
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1094
|
|
24.
|
|
|
Display Settings
|
|
|
|
Paramètres d’affichage
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/desktopManager.js:1118
|
|
25.
|
|
|
Settings
|
|
|
|
Paramètres
|
|
Translated by
Davy Defaud
|
|
|
|
Located in
app/preferences.js:91
|