Parse back the log entries
[gregoa/zavai.git] / src / app.vala
1 /*
2  * app - zavai main window
3  *
4  * Copyright (C) 2009-2010  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
163 public abstract class Applet : Gtk.VBox, Resource
164 {
165     // 'label' property: label to show in window title or button names
166     protected string _label;
167     public string label {
168         get { return this._label; }
169         set {
170             if (_label != value)
171             {
172                 _label = value;
173                 label_changed();
174             }
175         }
176     }
177     public signal void label_changed();
178
179     protected Gtk.HBox button_box;
180
181     // 'back_link' property: link to use to "go back". If null, do not show
182     // a way to go back.
183     protected AppletLink _back_link = null;
184     public Applet back_link {
185         get { return _back_link.target; }
186         set {
187 //stderr.printf("Set back link of %s to %s\n", _label, value);
188             if (value == null && _back_link != null)
189             {
190                 _back_link.target = value;
191                 button_box.remove(_back_link);
192             } else if (value != null) {
193                 if (_back_link.target == null)
194                 {
195                     _back_link.target = value;
196                     button_box.pack_end(_back_link, true, true, 0);
197                     _back_link.show();
198                 } else
199                     _back_link.target = value;
200             }
201         }
202     }
203
204     public Applet()
205     {
206         button_box = new Gtk.HBox(true, 0);
207         this.homogeneous = false;
208         this.spacing = 0;
209         pack_end(button_box, false, true, 0);
210         _back_link = new AppletStraightLink();
211         zavai.registry.register(this);
212     }
213
214     public virtual void back()
215     {
216         _back_link.activate_applet();
217     }
218
219     public virtual void back_to_main()
220     {
221         zavai.app.back_to_main();
222     }
223
224     public void shutdown()
225     {
226         stop();
227     }
228
229     public virtual void start() {}
230     public virtual void stop() {}
231 }
232
233 public class Menu : Applet
234 {
235     public Menu(string label)
236     {
237         _label = label;
238     }
239
240     public void add_applet(Applet target)
241     {
242         pack_start(new AppletPushLink(target), false, false, 0);
243     }
244
245     public void add_service_toggle(Service service, string label_start, string label_stop)
246     {
247         pack_start(new ServiceRequestLink(service, label_start, label_stop), false, false, 0);
248     }
249
250     public void add_widget(Gtk.Widget w)
251     {
252         pack_start(w, false, false, 0);
253     }
254 }
255
256 public class BigButton : Gtk.Button
257 {
258     public BigButton()
259     {
260         set_size_request(0, zavai.config.min_button_height);
261     }
262 }
263
264 public abstract class AppletLink : BigButton
265 {
266     protected Applet _target;
267     public Applet target {
268         get { return _target; }
269         set
270         {
271             if (_target != null)
272             {
273                 _target.label_changed -= on_label_changed;
274             }
275             bool was_shown = _target != null;
276             _target = value;
277             if (_target != null)
278             {
279                 set_label(_target.label);
280                 _target.label_changed += on_label_changed;
281                 if (!was_shown) show();
282             } else {
283                 if (was_shown) hide();
284             }
285         }
286     }
287
288     private void on_label_changed(Applet a)
289     {
290         set_label(a.label);
291     }
292
293     private abstract void on_clicked(Gtk.Button src);
294
295     public AppletLink(Applet? applet = null)
296     {
297         _target = null;
298         target = applet;
299
300         clicked += on_clicked;
301     }
302
303     public virtual void activate_applet()
304     {
305         on_clicked(this);
306     }
307 }
308
309 public class AppletStraightLink : AppletLink
310 {
311     private override void on_clicked(Gtk.Button src)
312     {
313 //stderr.printf("straight link: %s\n", _target);
314         if (_target != null)
315             zavai.app.show_applet(_target);
316     }
317
318     public AppletStraightLink(Applet? applet = null)
319     {
320         base(applet);
321     }
322 }
323
324 public class AppletPushLink : AppletLink
325 {
326     private override void on_clicked(Gtk.Button src)
327     {
328 //stderr.printf("push link: %s\n", _target);
329         if (_target != null)
330             zavai.app.push_applet(_target);
331     }
332
333     public AppletPushLink(Applet? applet = null)
334     {
335         base(applet);
336     }
337 }
338
339 public class ServiceRequestLink : Gtk.ToggleButton
340 {
341     protected Service service;
342     protected string label_start;
343     protected string label_stop;
344
345     private void on_toggled(Gtk.Button src)
346     {
347         if (get_active())
348             service.request("servicerequestlink");
349         else
350             service.release("servicerequestlink");
351         set_label(get_active() ? label_stop : label_start);
352     }
353
354     private void on_service_toggled(bool val)
355     {
356         set_active(val);
357         //set_label(val ? label_stop : label_start);
358     }
359
360     public ServiceRequestLink(Service service, string label_start, string label_stop)
361     {
362         this.service = service;
363         this.label_start = label_start;
364         this.label_stop = label_stop;
365         set_size_request(0, zavai.config.min_button_height);
366         set_active(service.started);
367         toggled += on_toggled;
368         service.toggled += on_service_toggled;
369
370         set_label(get_active() ? label_stop : label_start);
371     }
372 }
373
374 public class StatusIcon : Gtk.Button
375 {
376     private Gtk.Image image_widget;
377
378     public StatusIcon()
379     {
380         relief = Gtk.ReliefStyle.NONE;
381         image_widget = new Gtk.Image();
382         image = image_widget;
383     }
384
385     public void set_from_file(string file)
386     {
387         image_widget.set_from_file(file);
388     }
389
390     public void install()
391     {
392         zavai.ui.main.status.status_icons.pack_start(this, false, false, 0);
393     }
394 }
395
396
397 public zavai.Zavai app;
398 public zavai.Menu menu_main;
399 public zavai.Menu menu_gps;
400 public zavai.Menu menu_gsm;
401 public zavai.Menu menu_misc;
402
403 namespace main {
404
405 public void init()
406 {
407     zavai.app = new zavai.Zavai();
408     menu_main = new zavai.Menu("Main menu");
409
410     // Create menus
411     menu_gps = new zavai.Menu("GPS");
412     menu_main.add_applet(menu_gps);
413
414     menu_gsm = new zavai.Menu("GSM");
415     menu_main.add_applet(menu_gsm);
416
417     menu_misc = new zavai.Menu("Misc");
418     menu_main.add_applet(menu_misc);
419 }
420
421 }
422
423 }