diff options
| -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 }, |