Moved polygen into misc/ menu
authorEnrico Zini <enrico@enricozini.org>
Thu, 13 Aug 2009 16:09:41 +0000 (17:09 +0100)
committerEnrico Zini <enrico@enricozini.org>
Thu, 13 Aug 2009 16:09:41 +0000 (17:09 +0100)
src/app_polygen.vala

index b3a997a976394adff725870562dc9036f9db770f..0fe16f8d5766b89713a8ac2529b7780f0186336f 100644 (file)
@@ -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");
-       }
-    */
 }
 
 }