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