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");
- }
- */
}
}