2 * app_debug - zavai debug menus
4 * Copyright (C) 2009 Enrico Zini <enrico@enricozini.org>
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
25 public class Useless : Applet
30 pack_start(new Gtk.Label("This has no use"), false, false, 0);
34 public class UselessService : Service
36 public UselessService()
38 Object(name: "app.debug.useless_service");
42 public class Quitter : Applet
49 public override void start()
55 public class PowerMenuService : Service
57 public PowerMenuService()
59 Object(name: "app.debug.power_menu_service");
61 public override void start()
63 zavai.ui.power.power_menu.toggle();
65 public override void stop()
67 zavai.ui.power.power_menu.toggle();
74 class Quitter(gtk.Action):
75 def __init__(self, **kw):
76 super(Quitter, self).__init__("menu.main.debug.quit", _("Quit"), None, None)
78 self.connect("activate", gtk.main_quit)
83 //label_on = "Stop useless service";
84 //label_off = "Start useless service";
86 var useless = new Useless();
87 var quitter = new Quitter();
88 var useless_service = new UselessService();
89 zavai.registry.register_applet("app.debug.useless", useless);
90 zavai.registry.register_service(useless_service);
91 zavai.registry.register_applet("app.debug.quit", quitter);
94 var menu_debug = new zavai.Menu("Debug");
95 menu_debug.add_applet("app.debug.useless");
96 menu_debug.add_service_toggle("app.debug.useless_service", "Start useless service", "Stop useless service");
98 var power_menu_service = new PowerMenuService();
99 zavai.registry.register_service(power_menu_service);
100 menu_debug.add_service_toggle("app.debug.power_menu_service", "Toggle power menu", "Toggle power menu");
102 menu_debug.add_applet("app.debug.quit");
104 zavai.registry.register_menu("menu.debug", menu_debug);
105 zavai.registry.getmenu("menu.main").add_applet("menu.debug");