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/locale.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/locale.conf')
| -rw-r--r-- | core/locale.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/locale.conf b/core/locale.conf index e1c3292f..d5f60436 100644 --- a/core/locale.conf +++ b/core/locale.conf @@ -198,6 +198,12 @@ Enclose in Brackets = Enclose in _Brackets Enclose in Braces = Enclose in B_races Move Selected Lines Up = _Move Selected Lines Up Move Selected Lines Down = Move Selected Lines Do_wn +# 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. |