src/app_main.vala

   1 /*
   2  * app_main - zavai main status display
   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 namespace ui {
  25 namespace main {
  26
  27 /*
  28 public class StatusBar : Gtk.HBox
  29 {
  30     void StatusBar()
  31     {
  32     }
  33 }
  34 */
  35
  36 public class Clock : Gtk.VBox
  37 {
  38     protected Gtk.Label l_date;
  39     protected Gtk.Label l_time;
  40
  41     public Clock()
  42     {
  43         l_date = new Gtk.Label("--");
  44         l_date.modify_font(Pango.FontDescription.from_string("Sans 40"));
  45         pack_start(l_date, false, false, 0);
  46         l_time = new Gtk.Label("--:--");
  47         l_time.modify_font(Pango.FontDescription.from_string("Sans 60"));
  48         pack_start(l_time, false, false, 0);
  49
  50         zavai.clock.clock.minute_changed += on_minute_changed;
  51
  52         zavai.clock.clock.request("ui.main.clock");
  53     }
  54
  55     private void on_minute_changed(long ts, zavai.clock.SourceType type)
  56     {
  57         string typetag = "unknown";
  58         switch (type)
  59         {
  60             case zavai.clock.SourceType.GPS:
  61                 typetag = "gps";
  62                 break;
  63             case zavai.clock.SourceType.SYSTEM:
  64                 typetag = "sys";
  65                 break;
  66         }
  67
  68         var t = Time.local((time_t)ts);
  69         l_date.set_text(t.format("%a %d %b"));
  70         l_time.set_text("%2d:%02d (%s)".printf(t.hour, t.minute, typetag));
  71     }
  72 }
  73
  74 public class Status : Applet
  75 {
  76     public Gtk.HBox status_icons;
  77     public Clock clock;
  78     public AppletPushLink menu;
  79
  80         public Status(string label)
  81         {
  82                 _label = label;
  83         status_icons = new Gtk.HBox(false, 0);
  84         clock = new Clock();
  85         menu = new AppletPushLink("menu.main");
  86
  87                 pack_start(status_icons, false, false, 0);
  88                 pack_start(clock, false, false, 0);
  89                 pack_end(menu, false, false, 0);
  90         }
  91 }
  92
  93 Status status;
  94
  95 public void init()
  96 {
  97     status = new Status("Zavai");
  98     zavai.registry.register_applet("zavai.status", status);
  99 }
 100
 101 }
 102 }
 103 }