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 public class StatusBar : Gtk.HBox
  28 {
  29     void StatusBar()
  30     {
  31     }
  32 }
  33
  34 public class Clock : Gtk.VBox
  35 {
  36     protected Gtk.Label l_date;
  37     protected Gtk.Label l_time;
  38
  39     protected time_t last_gps_time;
  40     protected time_t last_gps_time_system_time;
  41     protected time_t last_system_time;
  42         protected dynamic DBus.Object gps_time;
  43     protected uint system_time_timeout;
  44     protected time_t last_minute;
  45
  46     public Clock()
  47     {
  48         l_date = new Gtk.Label("--");
  49         l_date.modify_font(Pango.FontDescription.from_string("Sans 40"));
  50         pack_start(l_date, false, false, 0);
  51         l_time = new Gtk.Label("--:--");
  52         l_time.modify_font(Pango.FontDescription.from_string("Sans 60"));
  53         pack_start(l_time, false, false, 0);
  54
  55 stderr.printf("CLOCK\n");
  56         last_minute = 0;
  57         last_gps_time = 0;
  58         last_gps_time_system_time = 0;
  59         last_system_time = time_t();
  60
  61                 gps_time = zavai.registry.sbus.get_object(
  62                         "org.freesmartphone.ogpsd",
  63                         "/org/freedesktop/Gypsy",
  64                         "org.freedesktop.Gypsy.Time");
  65
  66         system_time_timeout = Timeout.add(5000, on_system_time);
  67                 gps_time.TimeChanged += on_gps_time;
  68         update_time();
  69     }
  70
  71     public void update_time()
  72     {
  73         time_t new_last_minute;
  74         string type;
  75         if (last_gps_time_system_time + 10 > last_system_time)
  76         {
  77             new_last_minute = last_gps_time / 60;
  78             type = "gps";
  79         }
  80         else
  81         {
  82             new_last_minute = last_system_time / 60;
  83             type = "sys";
  84         }
  85         if (new_last_minute != last_minute)
  86         {
  87             last_minute = new_last_minute;
  88             var t = Time.local(last_minute * 60);
  89             l_date.set_text(t.format("%a %d %b"));
  90             l_time.set_text("%2d:%02d (%s)".printf(t.hour, t.minute, type));
  91         }
  92     }
  93
  94         private void on_gps_time(dynamic DBus.Object pos, int t)
  95         {
  96                 last_gps_time = (time_t)t;
  97         last_gps_time_system_time = time_t();
  98         update_time();
  99         }
 100
 101     private bool on_system_time()
 102     {
 103         last_system_time = time_t();
 104         update_time();
 105         return true;
 106     }
 107 }
 108
 109 public class Status : Applet
 110 {
 111     public Clock clock;
 112     public AppletPushLink menu;
 113
 114         public Status(string label)
 115         {
 116                 _label = label;
 117         clock = new Clock();
 118         menu = new AppletPushLink("menu.main");
 119
 120                 pack_start(clock, false, false, 0);
 121                 pack_end(menu, false, false, 0);
 122         }
 123 }
 124
 125 Status status;
 126
 127 public void init()
 128 {
 129     status = new Status("Zavai");
 130     zavai.registry.register_applet("zavai.status", status);
 131 }
 132
 133 }
 134 }
 135 }