Merge branch 'master' into gregoa
[gregoa/zavai.git] / src / app_wm.vala
1 /*
2  * app_wm - zavai window management functions
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 wm {
26
27 /*
28 static void print_window_state(Gtk.Window w)
29 {
30     Gdk.WindowState state = w.window.get_state();
31     int istate = (int) state;
32     bool is_icon = (state & Gdk.WindowState.ICONIFIED) != 0;
33     bool is_visible = w.visible;
34     bool is_focus = w.is_focus;
35     bool has_focus = ((Gtk.Widget)w).has_focus;
36     bool is_active = w.is_active;
37     bool is_toplevel = w.is_toplevel();
38     bool is_tfocus = w.has_toplevel_focus;
39
40     stderr.printf("istate: %d; is_icon: %s; is_visible: %s; is_focus: %s; has_focus: %s, is_active: %s; is_toplevel: %s; is_tfocus: %s\n",
41             istate,
42             is_icon ? "true" : "false",
43             is_visible ? "true" : "false",
44             is_focus ? "true" : "false",
45             has_focus ? "true" : "false",
46             is_active ? "true" : "false",
47             is_toplevel ? "true" : "false",
48             is_tfocus ? "true" : "false"
49              );
50 }
51 */
52
53 public class RaiseIcon : Gtk.StatusIcon
54 {
55     public RaiseIcon()
56     {
57         activate += on_activate;
58         zavai.app.visibility_changed += on_visibility_changed;
59         update_icon();
60     }
61
62     private void on_visibility_changed(bool visible)
63     {
64         update_icon();
65     }
66
67     private void on_activate()
68     {
69         zavai.app.toggle_visibility();
70         update_icon();
71     }
72
73     public void update_icon()
74     {
75         string name = zavai.config.icondir + "/";
76         if (!zavai.app.visibility)
77             name += "zavai_on.png";
78         else
79             name += "zavai_off.png";
80         set_from_file(name);
81     }
82 }
83
84 public class CloseOrBack : Gtk.StatusIcon
85 {
86     public CloseOrBack()
87     {
88         activate += on_activate;
89         zavai.app.visibility_changed += on_visibility_changed;
90         update_icon();
91     }
92
93     private void on_visibility_changed(bool visible)
94     {
95         update_icon();
96     }
97
98     private void on_activate()
99     {
100         if (zavai.app.visibility)
101         {
102             // Back
103             zavai.app.back();
104         } else {
105             // Close current app
106             Gdk.Window w = zavai.app.get_screen().get_active_window();
107             if (w != zavai.app.window)
108             {
109                 w.destroy();
110             }
111         }
112     }
113
114     protected void update_icon()
115     {
116         string name = zavai.config.icondir + "/";
117         if (!zavai.app.visibility)
118             name += "quit_on.png";
119         else
120             name += "quit_off.png";
121         set_from_file(name);
122     }
123 }
124
125 public class WindowList : Applet
126 {
127     protected Wnck.Tasklist selector;
128     protected AppletPushLink launcher_link;
129
130     public WindowList(string label)
131     {
132         _label = label;
133         selector = new Wnck.Tasklist(Wnck.Screen.get_default());
134         pack_start(selector, true, true, 0);
135
136         launcher_link = new AppletPushLink(zavai.ui.wm.launcher);
137         button_box.pack_start(launcher_link, true, true, 0);
138     }
139 }
140
141 public class LauncherButton : Gtk.Button
142 {
143     private string exec;
144
145     public LauncherButton(string name, string exec)
146     {
147         label = name;
148         this.exec = exec;
149         clicked += on_clicked;
150         set_size_request(0, zavai.config.min_button_height);
151     }
152
153     public void on_clicked()
154     {
155         zavai.log.info("Run program: " + exec);
156         string[] args = exec.split(" ");
157         string[] args1 = new string[args.length + 1];
158         int cout = 0;
159         for (int cin = 0; cin < args.length; ++cin)
160         {
161             if (args[cin][0] == '%') continue;
162             args1[cout++] = args[cin];
163         }
164         args1[cout] = null;
165         Pid pid;
166         try {
167             Process.spawn_async(
168                 Environment.get_home_dir(),
169                 args1,
170                 null,
171                 SpawnFlags.SEARCH_PATH,
172                 null,
173                 out pid);
174         } catch (SpawnError e) {
175             zavai.log.error("Launching " + exec + ": " + e.message);
176         }
177     }
178 }
179
180 public class Launcher: Applet
181 {
182     static const string DENTRY_GROUP = "Desktop Entry";
183
184     public Launcher(string label) throws Error
185     {
186         _label = label;
187
188         var dir = File.new_for_path(zavai.config.homedir);
189         var enumerator = dir.enumerate_children(FILE_ATTRIBUTE_STANDARD_NAME, 0, null);
190
191         FileInfo file_info;
192         var icon_theme = Gtk.IconTheme.get_default();
193         List<LauncherButton> buttons = new List<LauncherButton>();
194         int buttons_size = 0;
195         while ((file_info = enumerator.next_file(null)) != null)
196         {
197             if (!file_info.get_name().has_suffix(".desktop")) continue;
198
199             string pathname = zavai.config.homedir + "/" + file_info.get_name();
200             //stdout.printf("Load %s\n", pathname);
201
202             string icon = null;
203             var kf = new KeyFile();
204             try {
205                 kf.load_from_file(pathname, KeyFileFlags.NONE);
206                 if (! kf.has_group(DENTRY_GROUP)) continue;
207                 if (! kf.has_key(DENTRY_GROUP, "Name")) continue;
208                 if (! kf.has_key(DENTRY_GROUP, "Exec")) continue;
209                 if (kf.has_key(DENTRY_GROUP, "Icon"))
210                     icon = kf.get_string(DENTRY_GROUP, "Icon");
211             } catch (Error e) {
212                 zavai.log.error("Skipping file " + pathname + ": " + e.message);
213                 continue;
214             }
215             var name = kf.get_string(DENTRY_GROUP, "Name");
216             var exec = kf.get_string(DENTRY_GROUP, "Exec");
217             var button = new LauncherButton(name, exec);
218             if (icon != null && icon_theme.has_icon(icon))
219             {
220                 try {
221                     var pb = icon_theme.load_icon(icon, zavai.config.min_button_height * 2 / 3, 0);
222                     button.image = new Gtk.Image.from_pixbuf(pb);
223                 } catch (Error e) {
224                     zavai.log.error("Skipping icon " + icon + ": " + e.message);
225                 }
226             }
227             button.clicked += a => { this.back_to_main(); zavai.app.ensure_hidden(); };
228             buttons.append(button);
229             ++buttons_size;
230         }
231
232         // Create the table with the launcher buttons
233         uint ROWMAX = 5;    // Maximum number of rows
234         uint cols = 1 + (buttons_size + 1) / ROWMAX; // ceil(size/ROWMAX)
235         uint rows = (buttons_size + 1) / cols;   // ceil(size/cols)
236         var table = new Gtk.Table(rows, cols, true);
237
238         // Attach the buttons in the table
239         uint row = 0;
240         uint col = 0;
241         foreach (LauncherButton b in buttons)
242         {
243             table.attach(b, col, col+1, row, row+1,
244                 Gtk.AttachOptions.EXPAND | Gtk.AttachOptions.FILL,
245                 Gtk.AttachOptions.EXPAND | Gtk.AttachOptions.FILL,
246                 0, 0);
247             ++col;
248             if (col == cols)
249             {
250                 col = 0;
251                 ++row;
252             }
253         }
254
255         pack_start(table, true, true, 0);
256
257 /*
258     try {
259     } catch (Error e) {
260         stderr.printf ("Error: %s\n", e.message);
261         return 1;
262     }
263
264         for (string file in confdir)
265         {
266         }
267 */
268     }
269 }
270
271 public class AppShortcut : Object
272 {
273     private StatusIcon icon;
274
275     public AppShortcut()
276     {
277         icon = new StatusIcon();
278         icon.install();
279         icon.clicked += on_icon_clicked;
280         icon.set_from_file(zavai.config.icondir + "/apps.png");
281     }
282
283     public void on_icon_clicked()
284     {
285         zavai.app.push_applet(zavai.ui.wm.window_list);
286     }
287 }
288
289 public RaiseIcon raise_icon;
290 public CloseOrBack close_or_back;
291 public WindowList window_list;
292 public Launcher launcher;
293 public AppShortcut app_shortcut;
294
295 public void init()
296 {
297     raise_icon = new RaiseIcon();
298     raise_icon.set_visible(true);
299
300     if (zavai.config.profile != "laptop")
301     {
302         close_or_back = new CloseOrBack();
303         close_or_back.set_visible(true);
304     }
305
306     app_shortcut = new AppShortcut();
307
308     try {
309         launcher = new Launcher("Run program");
310     } catch (Error e) {
311         stderr.printf("Error creating app launcher: %s\n", e.message);
312         launcher = null;
313     }
314
315     window_list = new WindowList("Apps");
316     zavai.menu_main.add_applet(window_list);
317
318     //zavai.registry.getmenu("menu.main").add_applet("wm.launcher");
319 }
320
321 }
322 }
323 }