af01b8fd4061d58f3c6af5d56d3eae78414f0e2d
[gregoa/zavai.git] / src / app_polygen.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 polygen {
26
27 protected class PolygenPage : Object
28 {
29     public string name { get; construct; }
30     public Gtk.ListStore model;
31     public Gtk.TreeView list;
32     public Gtk.ScrolledWindow scroll;
33     public signal void selected(string page, string name);
34
35     public PolygenPage(string name)
36     {
37         this.name = name;
38         model = new Gtk.ListStore(2, typeof(string), typeof(string));
39         list = new Gtk.TreeView.with_model(model);
40         list.insert_column_with_attributes (-1, "Name", new Gtk.CellRendererText(), "text", 0);
41         list.insert_column_with_attributes (-1, "Title", new Gtk.CellRendererText(), "text", 1);
42         scroll = new Gtk.ScrolledWindow (null, null);
43         scroll.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
44         scroll.add(list);
45
46         list.row_activated += on_row_activated;
47     }
48
49     private void on_row_activated(Gtk.TreeView tv, Gtk.TreePath path, Gtk.TreeViewColumn column)
50     {
51         Gtk.TreeIter iter;
52         if (!model.get_iter(out iter, path)) return;
53         Value grm_name;
54         model.get_value(iter, 0, out grm_name);
55         selected(name, (string)grm_name);
56     }
57 }
58
59 protected class PolygenRun : Gtk.VBox
60 {
61     protected Gtk.Label text;
62     protected Gtk.Button text_button;
63
64     private string _grammar;
65     public string grammar {
66         get { return _grammar; }
67         set {
68             _grammar = value;
69             update();
70         }
71     }
72
73     public PolygenRun()
74     {
75         _grammar = "";
76         text = new Gtk.Label("");
77         text.use_markup = true;
78         text.wrap = true;
79         text_button = new Gtk.Button();
80         text_button.set_image(text);
81                 pack_start(text_button, true, true, 0);
82         text_button.clicked += on_clicked;
83     }
84
85     public void on_clicked(Gtk.Button button) { update(); }
86
87     public void update()
88     {
89         text.label = "ciao " + _grammar;
90     }
91 }
92
93 public class Polygen : Applet
94 {
95     protected Gee.ArrayList<PolygenPage> pages;
96     protected Gtk.Notebook notebook;
97     protected PolygenRun result;
98
99     private void add(string page, string name, string title)
100     {
101         PolygenPage pg = null;
102         foreach (PolygenPage p in pages)
103         {
104             if (p.name == page)
105             {
106                 pg = p;
107                 break;
108             }
109         }
110         if (pg == null)
111         {
112             pg = new PolygenPage(page);
113             pg.selected += on_selected;
114             pages.add(pg);
115         }
116
117         Gtk.TreeIter iter;
118         pg.model.append (out iter);
119         pg.model.set(iter, 0, name);
120         pg.model.set(iter, 1, title);
121     }
122
123     protected void on_selected(string page, string name)
124     {
125         result.grammar = page + "/" + name;
126         notebook.set_current_page(notebook.get_n_pages()-1);
127     }
128
129         public Polygen(string label, IOChannel data)
130         {
131                 _label = label;
132         pages = new Gee.ArrayList<PolygenPage>();
133
134         while (true)
135         {
136             string line;
137             var res = data.read_line(out line, null, null);
138             if (res != IOStatus.NORMAL) break;
139             string[] vals = line.split(" ", 2);
140             if (vals == null) break;
141             string[] np = vals[0].split("/", 2);
142             if (np == null) break;
143             add(np[0], np[1], vals[1].strip());
144         }
145
146         notebook = new Gtk.Notebook();
147         foreach (PolygenPage p in pages)
148         {
149             notebook.append_page(p.scroll, new Gtk.Label(p.name));
150         }
151         result = new PolygenRun();
152         notebook.append_page(result, new Gtk.Label("Result"));
153
154                 pack_start(notebook, true, true, 0);
155         }
156 }
157
158 Polygen polygen;
159
160 public void init()
161 {
162     try {
163         var data = new IOChannel.file(zavai.config.homedir + "/polygen-info", "r");
164         polygen = new Polygen("Polygen", data);
165         data.shutdown(false);
166
167         zavai.registry.register_applet("ui.polygen", polygen);
168         zavai.registry.getmenu("menu.main").add_applet("ui.polygen");
169     } catch (FileError e) {
170         polygen = null;
171         zavai.log.error("Skipping polygen plugin: " + e.message);
172     }
173
174     /*
175         window_list = new WindowList("Current apps");
176         zavai.registry.register_applet("wm.list", window_list);
177         zavai.registry.getmenu("menu.main").add_applet("wm.list");
178
179         try {
180                 launcher = new Launcher("Run program");
181         } catch (Error e) {
182                 zavai.log.error("Not running launcher: " + e.message);
183                 launcher = null;
184         }
185
186         if (launcher != null)
187         {
188                 zavai.registry.register_applet("wm.launcher", launcher);
189                 zavai.registry.getmenu("menu.main").add_applet("wm.launcher");
190         }
191     */
192 }
193
194 }
195 }
196 }