From 0793a6cdc828474da705b24ffcb169a2ffe0136a Mon Sep 17 00:00:00 2001 From: Enrico Zini Date: Thu, 13 Aug 2009 17:09:41 +0100 Subject: [PATCH] Moved polygen into misc/ menu --- src/app_polygen.vala | 25 +++++-------------------- 1 file changed, 5 insertions(+), 20 deletions(-) diff --git a/src/app_polygen.vala b/src/app_polygen.vala index b3a997a..0fe16f8 100644 --- a/src/app_polygen.vala +++ b/src/app_polygen.vala @@ -203,36 +203,21 @@ Polygen polygen; public void init() { + var menu_misc = new zavai.Menu("Misc"); + zavai.registry.register_menu("menu.misc", menu_misc); + zavai.registry.getmenu("menu.main").add_applet("menu.misc"); + try { var data = new IOChannel.file(zavai.config.homedir + "/polygen-info", "r"); polygen = new Polygen("Polygen", data); data.shutdown(false); zavai.registry.register_applet("ui.polygen", polygen); - zavai.registry.getmenu("menu.main").add_applet("ui.polygen"); + zavai.registry.getmenu("menu.misc").add_applet("ui.polygen"); } catch (FileError e) { polygen = null; zavai.log.error("Skipping polygen plugin: " + e.message); } - - /* - window_list = new WindowList("Current apps"); - zavai.registry.register_applet("wm.list", window_list); - zavai.registry.getmenu("menu.main").add_applet("wm.list"); - - try { - launcher = new Launcher("Run program"); - } catch (Error e) { - zavai.log.error("Not running launcher: " + e.message); - launcher = null; - } - - if (launcher != null) - { - zavai.registry.register_applet("wm.launcher", launcher); - zavai.registry.getmenu("menu.main").add_applet("wm.launcher"); - } - */ } } -- 2.30.2