From a07c1edda32ec7b7ad44e15afcfd38cc071b5578 Mon Sep 17 00:00:00 2001
From: mitchell <70453897+667e-11@users.noreply.github.com>
Date: Sat, 5 Jul 2008 17:48:51 -0400
Subject: Added menu option to show command entry; core/ext/menu.lua

---
 core/ext/menu.lua | 2 ++
 1 file changed, 2 insertions(+)

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 },
-- 
cgit v1.2.3