diff --git a/app/src/main/resources/languages/PDE_fr.properties b/app/src/main/resources/languages/PDE_fr.properties index 17a222a67..61f95fe41 100644 --- a/app/src/main/resources/languages/PDE_fr.properties +++ b/app/src/main/resources/languages/PDE_fr.properties @@ -40,7 +40,9 @@ menu.edit.paste = Coller menu.edit.select_all = Sélectionner tout menu.edit.auto_format = Mise en forme automatique menu.edit.comment_uncomment = Commenter/Décommenter -menu.edit.comment_uncomment.keystroke = meta pressed COLON +menu.edit.comment_uncomment.keystroke.macos = meta pressed COLON +menu.edit.comment_uncomment.keystroke.windows = ctrl pressed COLON +menu.edit.comment_uncomment.keystroke.linux = ctrl pressed COLON menu.edit.increase_indent = → Augmenter l'indentation menu.edit.decrease_indent = ← Diminuer l'indentation menu.edit.find = Rechercher...