From 7328d9aa4f5b5f9714dff8fd82a87e0b53aa558a Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Tue, 5 Jan 2010 22:28:14 +0000 Subject: [PATCH] If plugins have defined extra menu items, insert a spacer before they start --- terminatorlib/terminal_popup_menu.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/terminatorlib/terminal_popup_menu.py b/terminatorlib/terminal_popup_menu.py index 1a3f2c32..4ba22529 100755 --- a/terminatorlib/terminal_popup_menu.py +++ b/terminatorlib/terminal_popup_menu.py @@ -165,6 +165,10 @@ class TerminalPopupMenu(object): plugins = registry.get_plugins_by_capability('terminal_menu') for menuplugin in plugins: menuplugin.callback(menuitems, menu, terminal) + + if len(menuitems) > 0: + menu.append(gtk.MenuItem()) + for menuitem in menuitems: menu.append(menuitem) except Exception, ex: