diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-10-08 14:01:36 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2020-10-08 14:01:36 -0400 |
| commit | 1f367593686bd1619ad94b669a65559ef8afb582 (patch) | |
| tree | 9016c21963f64bf7318193b13c5131825821d3b3 /core/locales/locale.fr.conf | |
| parent | fe67095963a162ff7e24680936fb7cf1cb730bbb (diff) | |
| download | textadept-1f367593686bd1619ad94b669a65559ef8afb582.tar.gz textadept-1f367593686bd1619ad94b669a65559ef8afb582.zip | |
Added `textadept.history` module for recording and navigating position history.
Diffstat (limited to 'core/locales/locale.fr.conf')
| -rw-r--r-- | core/locales/locale.fr.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/locales/locale.fr.conf b/core/locales/locale.fr.conf index 14628df3..b2fff92d 100644 --- a/core/locales/locale.fr.conf +++ b/core/locales/locale.fr.conf @@ -199,6 +199,12 @@ Enclose in Brackets = Entre c_rochets Enclose in Braces = Entre _accolades Move Selected Lines Up = Déplacer les lignes vers le _haut Move Selected Lines Down = Déplacer les lignes vers le _bas +# Menu items for navigating through position history. +History = _History +Navigate Backward = Navigate _Backward +Navigate Forward = Navigate _Forward +Record Location = _Record Location +Clear History = _Clear History # Menu item for opening user preferences. Preferences = Pre_ferences # Menu items for searching and replacing text within buffers and files. |