Merge branch 'ben3291-patch-1' into master_jammy

This commit is contained in:
Jeremy Soller 2023-11-06 08:40:01 -07:00
commit d2c0139b3f
No known key found for this signature in database
GPG key ID: DCFCA852D3906975

View file

@ -16,8 +16,8 @@ settings = Paramètre
## Appearance ## Appearance
appearance = Apparence appearance = Apparence
theme = Thème theme = Thème
default-font = Fonte par défaut default-font = Police par défaut
default-font-size = Taille de la fonte default-font-size = Taille de la Police
### Keyboard shortcuts ### Keyboard shortcuts
keyboard-shortcuts = Raccourci clavier keyboard-shortcuts = Raccourci clavier
@ -59,10 +59,10 @@ indentation = Indentation
### Indentation ### Indentation
automatic-indentation = Indentation Automatique automatic-indentation = Indentation Automatique
tab-width = Largeur de l'onglet: {$tab_width} tab-width = Largeur de l'onglet: {$tab_width}
convert-indentation-to-spaces = Indentation en espaces convert-indentation-to-spaces = convertir l'indentation en espaces
convert-indentation-to-tabs = Indentation en tabulations convert-indentation-to-tabs = convertir l'indentation en tabulations
word-wrap = Word wrap word-wrap = retour à la ligne
show-line-numbers = Numéros de ligne show-line-numbers = Numéros de ligne
highlight-current-line = Surbriller la ligne actuelle highlight-current-line = Surbriller la ligne actuelle
syntax-highlighting = Surbrillance de la syntaxe... syntax-highlighting = Surbrillance de la syntaxe...