2 * app - zavai main window
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 Zavai : Gtk.Window, zavai.Resource
27 public bool visibility = true;
28 public signal void visibility_changed(bool visible);
38 destroy += Gtk.main_quit;
39 set_events(get_events() | Gdk.EventMask.VISIBILITY_NOTIFY_MASK);
40 visibility_notify_event += on_visibility;
41 set_skip_pager_hint(true);
42 set_skip_taskbar_hint(true);
43 //set_type_hint(Gdk.WindowTypeHint.DESKTOP);
46 private bool on_visibility(Gdk.Event event)
48 visibility = (event.visibility.state == Gdk.VisibilityState.UNOBSCURED);
49 visibility_changed(visibility);
53 public void toggle_visibility()
59 visibility_changed(visibility);
60 //zavai.app.iconify();
64 set_skip_pager_hint(true);
65 set_skip_taskbar_hint(true);
70 public void hide_window()
74 visibility_changed(visibility);
78 public void ensure_visible()
84 set_skip_pager_hint(true);
85 set_skip_taskbar_hint(true);
89 public void show_applet(string name)
91 zavai.Applet applet = zavai.registry.geta(name);
93 // Remove the current applet
102 // Add the new applet
110 public void push_applet(string name)
112 // Make the function idempotent
113 if (current_name == name)
116 //stderr.printf("push applet %s -> %s\n", current_name, name);
117 zavai.Applet applet = zavai.registry.geta(name);
119 // Remove the current applet
122 //stderr.printf("push applet remove %s\n", current_name);
123 applet.back_link = current_name;
130 //stderr.printf("push applet add %s\n", name);
131 // Add the new applet
145 public void shutdown()
151 set_size_request(300, 500);
157 public abstract class Applet : Gtk.VBox, Resource
159 // 'label' property: label to show in window title or button names
160 protected string _label;
161 public string label {
162 get { return this._label; }
171 public signal void label_changed();
173 protected Gtk.HBox button_box;
175 // 'back_link' property: link to use to "go back". If null, do not show
177 protected AppletLink _back_link = null;
178 public string back_link {
179 get { return _back_link.target; }
181 //stderr.printf("Set back link of %s to %s\n", _label, value);
182 if (value == null && _back_link != null)
184 _back_link.target = value;
185 button_box.remove(_back_link);
186 } else if (value != null) {
187 if (_back_link.target == null)
189 _back_link.target = value;
190 button_box.pack_end(_back_link, true, true, 0);
193 _back_link.target = value;
200 button_box = new Gtk.HBox(true, 0);
201 this.homogeneous = false;
203 pack_end(button_box, false, true, 0);
204 _back_link = new AppletStraightLink();
207 public virtual void back()
209 _back_link.activate_applet();
212 public void shutdown()
217 public virtual void start() {}
218 public virtual void stop() {}
221 public class Menu : Applet
223 public Menu(string label)
228 public void add_applet(string target)
230 pack_start(new AppletPushLink(target), false, false, 0);
233 public void add_service_toggle(string service_name, string label_start, string label_stop)
235 pack_start(new ServiceRequestLink(service_name, label_start, label_stop), false, false, 0);
238 public void add_widget(Gtk.Widget w)
240 pack_start(w, false, false, 0);
244 public class BigButton : Gtk.Button
248 set_size_request(0, zavai.config.min_button_height);
252 public abstract class AppletLink : BigButton
254 protected string _target;
255 public string target {
256 get { return _target; }
261 Applet a = zavai.registry.geta(_target);
262 a.label_changed -= on_label_changed;
264 bool was_shown = _target != null;
268 Applet a = zavai.registry.geta(_target);
270 a.label_changed += on_label_changed;
271 if (!was_shown) show();
273 if (was_shown) hide();
278 private void on_label_changed(Applet a)
283 private abstract void on_clicked(Gtk.Button src);
285 public AppletLink(string? name = null)
290 clicked += on_clicked;
293 public virtual void activate_applet()
299 public class AppletStraightLink : AppletLink
301 private override void on_clicked(Gtk.Button src)
303 //stderr.printf("straight link: %s\n", _target);
305 zavai.app.show_applet(_target);
308 public AppletStraightLink(string? name = null)
314 public class AppletPushLink : AppletLink
316 private override void on_clicked(Gtk.Button src)
318 //stderr.printf("push link: %s\n", _target);
320 zavai.app.push_applet(_target);
323 public AppletPushLink(string? name = null)
329 public class ServiceRequestLink : Gtk.ToggleButton
331 protected string service_name;
332 protected string label_start;
333 protected string label_stop;
335 private void on_toggled(Gtk.Button src)
337 Service s = zavai.registry.gets(service_name);
339 s.request("servicerequestlink");
341 s.release("servicerequestlink");
342 set_label(get_active() ? label_stop : label_start);
345 public ServiceRequestLink(string service_name, string label_start, string label_stop)
347 this.service_name = service_name;
348 this.label_start = label_start;
349 this.label_stop = label_stop;
350 set_size_request(0, zavai.config.min_button_height);
351 toggled += on_toggled;
353 set_label(get_active() ? label_stop : label_start);
357 public class StatusIcon : Gtk.Button
359 private Gtk.Image image_widget;
363 relief = Gtk.ReliefStyle.NONE;
364 image_widget = new Gtk.Image();
365 image = image_widget;
368 public void set_from_file(string file)
370 image_widget.set_from_file(file);
373 public void install()
375 zavai.ui.main.status.status_icons.pack_start(this, false, false, 0);
379 public class CommandButton : Gtk.Button
381 private string command;
383 public CommandButton(string name, string command)
386 this.command = command;
387 clicked += on_clicked;
388 set_size_request(0, zavai.config.min_button_height);
391 public void on_clicked()
393 zavai.log.info("Run program: " + command);
394 string[] args = command.split(" ");
398 Environment.get_home_dir(),
401 SpawnFlags.SEARCH_PATH,
404 } catch (SpawnError e) {
405 zavai.log.error("Running " + command + ": " + e.message);