diff options
author | 2020-10-08 14:01:36 -0400 | |
---|---|---|
committer | 2020-10-08 14:01:36 -0400 | |
commit | 1f367593686bd1619ad94b669a65559ef8afb582 (patch) | |
tree | 9016c21963f64bf7318193b13c5131825821d3b3 /modules/textadept/menu.lua | |
parent | fe67095963a162ff7e24680936fb7cf1cb730bbb (diff) | |
download | textadept-1f367593686bd1619ad94b669a65559ef8afb582.tar.gz textadept-1f367593686bd1619ad94b669a65559ef8afb582.zip |
Added `textadept.history` module for recording and navigating position history.
Diffstat (limited to 'modules/textadept/menu.lua')
-rw-r--r-- | modules/textadept/menu.lua | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/modules/textadept/menu.lua b/modules/textadept/menu.lua index b69a9f7b..1c7aa4b1 100644 --- a/modules/textadept/menu.lua +++ b/modules/textadept/menu.lua @@ -131,6 +131,14 @@ local default_menubar = { {_L['Move Selected Lines Up'], buffer.move_selected_lines_up}, {_L['Move Selected Lines Down'], buffer.move_selected_lines_down} }, + { + title = _L['History'], + {_L['Navigate Backward'], textadept.history.back}, + {_L['Navigate Forward'], textadept.history.forward}, + {_L['Record Location'], textadept.history.record}, + SEPARATOR, + {_L['Clear History'], textadept.history.clear} + }, SEPARATOR, {_L['Preferences'], function() io.open_file(_USERHOME .. '/init.lua') end} }, |