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)
81 public zavai.Menu menu_debug;
85 //label_on = "Stop useless service";
86 //label_off = "Start useless service";
88 var useless = new Useless();
89 var quitter = new Quitter();
90 var useless_service = new UselessService();
91 zavai.registry.register(useless);
92 zavai.registry.register(useless_service);
93 zavai.registry.register(quitter);
96 menu_debug = new zavai.Menu("Debug");
97 menu_debug.add_applet(useless);
98 menu_debug.add_service_toggle(useless_service, "Start useless service", "Stop useless service");
100 var b = new BigButton();
101 b.set_label("Fire an alarm");
102 b.clicked += (b) => {
103 zavai.clock.AlarmTriggerInfo alarm = new zavai.clock.AlarmTriggerInfo("Test alarm");
104 zavai.clock.alarm_trigger_queue.enqueue_trigger(alarm);
106 menu_debug.add_widget(b);
108 var power_menu_service = new PowerMenuService();
109 zavai.registry.register(power_menu_service);
110 menu_debug.add_service_toggle(power_menu_service, "Toggle power menu", "Toggle power menu");
112 menu_debug.add_applet(quitter);
114 zavai.registry.register(menu_debug);
115 zavai.menu_main.add_applet(menu_debug);