Experiments with cleaner clam menu
@@ -192,7 +192,10 @@ class Workbench(tk.Tk):
def _init_menu(self):
self.option_add('*tearOff', tk.FALSE)
- self._menubar = tk.Menu(self, **self.get_option("theme.menubar_options", {}))
+ self._menubar = tk.Menu(self, **self.get_option("theme.menubar_options", {
+ #"relief" : "flat",
+ "activeborderwidth" : 0
+ }))
self["menu"] = self._menubar
self._menus = {}
self._menu_item_groups = {} # key is pair (menu_name, command_label)
@@ -632,7 +635,10 @@ class Workbench(tk.Tk):
label: translated label, used only when menu with given name doesn't exist yet
"""
if name not in self._menus:
- menu = tk.Menu(self._menubar, self.get_option("theme.menu_options", {}))
+ menu = tk.Menu(self._menubar, self.get_option("theme.menu_options", {
+ #"relief" : "flat",
+ #"activeborderwidth" : 0
+ }))
menu["postcommand"] = lambda: self._update_menu(menu, name)
self._menubar.add_cascade(label=label if label else name, menu=menu)
