Set position MOUSE also on zavai, for use in laptops
[gregoa/zavai.git] / src / app.vala
1 /*
2  * app - zavai main window
3  *
4  * Copyright (C) 2009  Enrico Zini <enrico@enricozini.org>
5  *
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.
10  *
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.
15  *
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
19  */
20
21 using GLib;
22
23 namespace zavai {
24
25 public class Zavai : Gtk.Window, zavai.Resource
26 {
27     public bool visibility = true;
28     public signal void visibility_changed(bool visible);
29
30     zavai.Applet current;
31
32     public Zavai()
33     {
34         title = "Zavai";
35         current = null;
36         destroy += Gtk.main_quit;
37         set_events(get_events() | Gdk.EventMask.VISIBILITY_NOTIFY_MASK);
38         set_position(Gtk.WindowPosition.MOUSE);
39         visibility_notify_event += on_visibility;
40         set_skip_pager_hint(true);
41         set_skip_taskbar_hint(true);
42         //set_type_hint(Gdk.WindowTypeHint.DESKTOP);
43
44         zavai.registry.register(this);
45     }
46
47     private bool on_visibility(Gdk.Event event)
48     {
49         visibility = (event.visibility.state == Gdk.VisibilityState.UNOBSCURED);
50         //visible = visibility;
51         visibility_changed(visibility);
52         return true;
53     }
54
55     public void toggle_visibility()
56     {
57         if (visibility)
58         {
59             visible = false;
60             visibility = false;
61             visibility_changed(visibility);
62             //zavai.app.iconify();
63         } else {
64             visible = true;
65             present();
66             set_skip_pager_hint(true);
67             set_skip_taskbar_hint(true);
68         }
69     }
70
71     public void ensure_visible()
72     {
73         if (!visibility)
74         {
75             visible = true;
76             present();
77             set_skip_pager_hint(true);
78             set_skip_taskbar_hint(true);
79         }
80     }
81
82     public void ensure_hidden()
83     {
84         if (visibility)
85         {
86             visible = false;
87             visibility = false;
88             visibility_changed(visibility);
89         }
90     }
91
92     public void show_applet(Applet applet)
93     {
94         // Remove the current applet
95         if (current != null)
96         {
97             current.stop();
98             remove(current);
99             current = null;
100         }
101
102         // Add the new applet
103         current = applet;
104         add(current);
105         current.start();
106         current.show_all();
107     }
108
109     public void push_applet(Applet applet)
110     {
111         // Make the function idempotent
112         if (current == applet)
113             return;
114
115         // Remove the current applet
116         if (current != null)
117         {
118 //stderr.printf("push applet remove %s\n", current_name);
119             applet.back_link = current;
120             current.stop();
121             remove(current);
122             current = null;
123         }
124
125 //stderr.printf("push applet add %s\n", name);
126         // Add the new applet
127         current = applet;
128         add(current);
129         current.start();
130         current.show_all();
131     }
132
133     public void back()
134     {
135         if (current != null)
136             current.back();
137     }
138
139     public void back_to_main()
140     {
141         show_applet(zavai.ui.main.status);
142     }
143
144     public void shutdown()
145     {
146     }
147
148     public void run()
149     {
150         set_size_request(300, 500);
151         //fullscreen();
152         if (zavai.config.profile == "laptop")
153         {
154             visibility = false;
155             zavai.app.ensure_hidden();
156             zavai.ui.wm.raise_icon.update_icon();
157         } else {
158             show_all();
159         }
160     }
161
162     public void run_script(string command)
163     {
164         zavai.log.info("Run program: " + command);
165         string[] args = command.split(" ");
166         Pid pid;
167         try {
168             Process.spawn_async(
169                 Environment.get_home_dir(),
170                 args,
171                 null,
172                 SpawnFlags.SEARCH_PATH,
173                 null,
174                 out pid);
175         } catch (SpawnError e) {
176             zavai.log.error("Running " + command + ": " + e.message);
177         }
178     }
179 }
180
181 public abstract class Applet : Gtk.VBox, Resource
182 {
183     // 'label' property: label to show in window title or button names
184     protected string _label;
185     public string label {
186         get { return this._label; }
187         set {
188             if (_label != value)
189             {
190                 _label = value;
191                 label_changed();
192             }
193         }
194     }
195     public signal void label_changed();
196
197     protected Gtk.HBox button_box;
198
199     // 'back_link' property: link to use to "go back". If null, do not show
200     // a way to go back.
201     protected AppletLink _back_link = null;
202     public Applet back_link {
203         get { return _back_link.target; }
204         set {
205 //stderr.printf("Set back link of %s to %s\n", _label, value);
206             if (value == null && _back_link != null)
207             {
208                 _back_link.target = value;
209                 button_box.remove(_back_link);
210             } else if (value != null) {
211                 if (_back_link.target == null)
212                 {
213                     _back_link.target = value;
214                     button_box.pack_end(_back_link, true, true, 0);
215                     _back_link.show();
216                 } else
217                     _back_link.target = value;
218             }
219         }
220     }
221
222     public Applet()
223     {
224         button_box = new Gtk.HBox(true, 0);
225         this.homogeneous = false;
226         this.spacing = 0;
227         pack_end(button_box, false, true, 0);
228         _back_link = new AppletStraightLink();
229         zavai.registry.register(this);
230     }
231
232     public virtual void back()
233     {
234         _back_link.activate_applet();
235     }
236
237     public virtual void back_to_main()
238     {
239         zavai.app.back_to_main();
240     }
241
242     public void shutdown()
243     {
244         stop();
245     }
246
247     public virtual void start() {}
248     public virtual void stop() {}
249 }
250
251 public class Menu : Applet
252 {
253     public Menu(string label)
254     {
255         _label = label;
256     }
257
258     public void add_applet(Applet target)
259     {
260         pack_start(new AppletPushLink(target), false, false, 0);
261     }
262
263     public void add_service_toggle(Service service, string label_start, string label_stop)
264     {
265         pack_start(new ServiceRequestLink(service, label_start, label_stop), false, false, 0);
266     }
267
268     public void add_widget(Gtk.Widget w)
269     {
270         pack_start(w, false, false, 0);
271     }
272 }
273
274 public class BigButton : Gtk.Button
275 {
276     public BigButton()
277     {
278         set_size_request(0, zavai.config.min_button_height);
279     }
280 }
281
282 public abstract class AppletLink : BigButton
283 {
284     protected Applet _target;
285     public Applet target {
286         get { return _target; }
287         set
288         {
289             if (_target != null)
290             {
291                 _target.label_changed -= on_label_changed;
292             }
293             bool was_shown = _target != null;
294             _target = value;
295             if (_target != null)
296             {
297                 set_label(_target.label);
298                 _target.label_changed += on_label_changed;
299                 if (!was_shown) show();
300             } else {
301                 if (was_shown) hide();
302             }
303         }
304     }
305
306     private void on_label_changed(Applet a)
307     {
308         set_label(a.label);
309     }
310
311     private abstract void on_clicked(Gtk.Button src);
312
313     public AppletLink(Applet? applet = null)
314     {
315         _target = null;
316         target = applet;
317
318         clicked += on_clicked;
319     }
320
321     public virtual void activate_applet()
322     {
323         on_clicked(this);
324     }
325 }
326
327 public class AppletStraightLink : AppletLink
328 {
329     private override void on_clicked(Gtk.Button src)
330     {
331 //stderr.printf("straight link: %s\n", _target);
332         if (_target != null)
333             zavai.app.show_applet(_target);
334     }
335
336     public AppletStraightLink(Applet? applet = null)
337     {
338         base(applet);
339     }
340 }
341
342 public class AppletPushLink : AppletLink
343 {
344     private override void on_clicked(Gtk.Button src)
345     {
346 //stderr.printf("push link: %s\n", _target);
347         if (_target != null)
348             zavai.app.push_applet(_target);
349     }
350
351     public AppletPushLink(Applet? applet = null)
352     {
353         base(applet);
354     }
355 }
356
357 public class ServiceRequestLink : Gtk.ToggleButton
358 {
359     protected Service service;
360     protected string label_start;
361     protected string label_stop;
362
363     private void on_toggled(Gtk.Button src)
364     {
365         if (get_active())
366             service.request("servicerequestlink");
367         else
368             service.release("servicerequestlink");
369         set_label(get_active() ? label_stop : label_start);
370     }
371
372     public ServiceRequestLink(Service service, string label_start, string label_stop)
373     {
374         this.service = service;
375         this.label_start = label_start;
376         this.label_stop = label_stop;
377         set_size_request(0, zavai.config.min_button_height);
378         toggled += on_toggled;
379
380         set_label(get_active() ? label_stop : label_start);
381     }
382 }
383
384 public class StatusIcon : Gtk.Button
385 {
386     private Gtk.Image image_widget;
387
388     public StatusIcon()
389     {
390         relief = Gtk.ReliefStyle.NONE;
391         image_widget = new Gtk.Image();
392         image = image_widget;
393     }
394
395     public void set_from_file(string file)
396     {
397         image_widget.set_from_file(file);
398     }
399
400     public void install()
401     {
402         zavai.ui.main.status.status_icons.pack_start(this, false, false, 0);
403     }
404 }
405
406
407 public zavai.Zavai app;
408 public zavai.Menu menu_main;
409 public zavai.Menu menu_gps;
410 public zavai.Menu menu_gsm;
411 public zavai.Menu menu_misc;
412
413 namespace main {
414
415 public void init()
416 {
417     zavai.app = new zavai.Zavai();
418     menu_main = new zavai.Menu("Main menu");
419
420     // Create menus
421     menu_gps = new zavai.Menu("GPS");
422     menu_main.add_applet(menu_gps);
423
424     menu_gsm = new zavai.Menu("GSM");
425     menu_main.add_applet(menu_gsm);
426
427     menu_misc = new zavai.Menu("Misc");
428     menu_main.add_applet(menu_misc);
429 }
430
431 }
432
433 }