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 }