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.it.conf | |
| parent | fe67095963a162ff7e24680936fb7cf1cb730bbb (diff) | |
Added `textadept.history` module for recording and navigating position history.
Diffstat (limited to 'core/locales/locale.it.conf')
| -rw-r--r-- | core/locales/locale.it.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/locales/locale.it.conf b/core/locales/locale.it.conf index 62550785..91d4958a 100644 --- a/core/locales/locale.it.conf +++ b/core/locales/locale.it.conf @@ -198,6 +198,12 @@ Enclose in Brackets = Includi tra parentesi _quadre Enclose in Braces = Includi tra parentesi _graffe Move Selected Lines Up = Muovi le linee in _alto Move Selected Lines Down = Muovi le linee in _basso +# 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. |