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 }