diff options
author | 2008-07-05 17:48:51 -0400 | |
---|---|---|
committer | 2008-07-05 17:48:51 -0400 | |
commit | a07c1edda32ec7b7ad44e15afcfd38cc071b5578 (patch) | |
tree | 8b57e94cf0a92a6e2142899c842e0cf022bb973b | |
parent | fb4d3700aeebdf2145874607e8ba70b8303fe9ce (diff) | |
download | textadept-a07c1edda32ec7b7ad44e15afcfd38cc071b5578.tar.gz textadept-a07c1edda32ec7b7ad44e15afcfd38cc071b5578.zip |
Added menu option to show command entry; core/ext/menu.lua
-rw-r--r-- | core/ext/menu.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/ext/menu.lua b/core/ext/menu.lua index e3ed06a9..36df7ec8 100644 --- a/core/ext/menu.lua +++ b/core/ext/menu.lua @@ -93,6 +93,7 @@ t.menubar = { }, gtkmenu { title = '_Tools', + 'Focus _Command Entry', { title = '_Snippets', '_Insert Snippet', '_Previous Placeholder', @@ -230,6 +231,7 @@ local actions = { Find = { t.find.focus }, ['Jump to'] = { m_editing.goto_line }, -- Tools + ['Focus Command Entry'] = { t.command_entry.focus }, -- Tools -> Snippets ['Insert Snippet'] = { m_snippets.insert }, ['Previous Placeholder'] = { m_snippets.prev }, |