{
string script = zavai.config.find_script("keyboard");
if (script == null) return;
-
string[] args = { script, null };
int opid;
try {
}
}
-/*
-public class GPSRequestLink : Gtk.ToggleButton
-{
- public GPSRequestLink()
- {
- // GPS status icon
- status_icon = new Gtk.StatusIcon();
- status_icon.set_visible(true);
- status_icon.activate += on_status_activate;
- update_icon();
- }
-
- private void on_fix_status_changed(dynamic DBus.Object pos, int fix_status)
- {
- this.fix_status = fix_status;
- update_icon();
- }
-
- private void on_toggled(Gtk.Button src)
- {
- Service s = zavai.registry.gets(service_name);
- if (get_active())
- s.request("servicerequestlink");
- else
- s.release("servicerequestlink");
- set_label(get_active() ? label_stop : label_start);
- update_icon();
- }
-
- private void on_status_activate()
- {
- set_active(!get_active());
- }
-}
-*/
Keyboard keyboard;
KeyboardIcon icon;
if (el == null)
return false;
- ++el.data.count;
+ --el.data.count;
if (el.data.count == 0)
requests.delete_link(el);
protected void on_child(Pid pid, int status)
{
zavai.log.info("Exited");
-stderr.printf("STATUS %d\n", status);
Process.close_pid(pid);
try {