Imported Upstream version 0.2+gitdfdad95upstream/0.2+gitdfdad95

1 files changed, 231 insertions, 0 deletions

diff --git a/src/pies/pieManager.vala b/src/pies/pieManager.vala
new file mode 100644
index 0000000..eb031d0
--- /dev/null
+++ b/src/pies/pieManager.vala
@@ -0,0 +1,231 @@
+/* 
+Copyright (c) 2011 by Simon Schneegans
+
+This program is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the Free
+Software Foundation, either version 3 of the License, or (at your option)
+any later version.
+
+This program is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+more details.
+
+You should have received a copy of the GNU General Public License along with
+this program.  If not, see <http://www.gnu.org/licenses/>. 
+*/
+
+namespace GnomePie {
+
+/////////////////////////////////////////////////////////////////////////    
+/// A static class which stores all Pies. It can be used to add, delete 
+/// and open Pies.
+/////////////////////////////////////////////////////////////////////////
+
+public class PieManager : GLib.Object {
+
+    /////////////////////////////////////////////////////////////////////
+    /// A map of all Pies. It contains both, dynamic and persistent Pies.
+    /// They are associated to their ID's.
+    /////////////////////////////////////////////////////////////////////
+
+    public static Gee.HashMap<string, Pie?> all_pies { get; private set; }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Stores all global hotkeys.
+    /////////////////////////////////////////////////////////////////////
+    
+    private static BindingManager bindings;
+    
+    /////////////////////////////////////////////////////////////////////
+    /// True, if any pie has the current focus. If it is closing this
+    /// will be false already.
+    /////////////////////////////////////////////////////////////////////
+    
+    private static bool a_pie_is_opened = false;
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Initializes all Pies. They are loaded from the pies.conf file.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static void init() {
+        all_pies = new Gee.HashMap<string, Pie?>();
+        bindings = new BindingManager();
+        
+        // load all Pies from th pies.conf file
+        Pies.load();
+        
+        // open the according pie if it's hotkey is pressed
+        bindings.on_press.connect((id) => {
+            open_pie(id);
+        });
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Opens the Pie with the given ID, if it exists.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static void open_pie(string id) {
+        if (!a_pie_is_opened) {
+            Pie? pie = all_pies[id];
+            
+            if (pie != null) {
+                a_pie_is_opened = true;
+                
+                var window = new PieWindow();
+                window.load_pie(pie);
+                window.open();
+                
+                window.on_closing.connect(() => {
+                    a_pie_is_opened = false;
+                });
+            } else {
+                warning("Failed to open pie with ID \"" + id + "\": ID does not exist!");
+            }
+        }
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Returns the hotkey which the Pie with the given ID is bound to.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static string get_accelerator_of(string id) {
+        return bindings.get_accelerator_of(id);
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Returns a human-readable version of the hotkey which the Pie
+    /// with the given ID is bound to.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static string get_accelerator_label_of(string id) {
+        return bindings.get_accelerator_label_of(id);
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Returns the name of the Pie with the given ID.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static string get_name_of(string id) {
+        Pie? pie = all_pies[id];
+        if (pie == null) return "";
+        else             return pie.name;
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Creates a new Pie which is displayed in the configuration dialog
+    /// and gets saved.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static Pie create_persistent_pie(string name, string icon_name, string hotkey, string? desired_id = null) {
+        Pie pie = create_pie(name, icon_name, 100, 999, desired_id);
+
+        if (hotkey != "") bindings.bind(hotkey, pie.id);
+        
+        create_launcher(pie.id);
+        
+        return pie;
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Creates a new Pie which is not displayed in the configuration
+    /// dialog and is not saved.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static Pie create_dynamic_pie(string name, string icon_name, string? desired_id = null) {
+        return create_pie(name, icon_name, 1000, 9999, desired_id);
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Adds a new Pie. Can't be accesd from outer scope. Use
+    /// create_persistent_pie or create_dynamic_pie instead.
+    /////////////////////////////////////////////////////////////////////
+    
+    private static Pie create_pie(string name, string icon_name, int min_id, int max_id, string? desired_id = null) {
+         var random = new GLib.Rand();
+        
+        string final_id;
+        
+        if (desired_id == null) 
+            final_id = random.int_range(min_id, max_id).to_string();
+        else {
+            final_id = desired_id;
+            final_id.canon("0123456789", '_');
+            final_id = final_id.replace("_", "");
+            
+            int id = int.parse(final_id);
+            
+            if (id < min_id || id > max_id) {
+                final_id = random.int_range(min_id, max_id).to_string();
+                warning("The ID for pie \"" + name + "\" should be in range %u - %u! Using \"" + final_id + "\" instead of \"" + desired_id + "\"...", min_id, max_id);
+            }
+        }
+
+        if (all_pies.has_key(final_id)) {
+            var tmp = final_id;
+            var id_number = int.parse(final_id) + 1;
+            if (id_number == max_id+1) id_number = min_id;
+            final_id = id_number.to_string();
+            warning("Trying to add pie \"" + name + "\": ID \"" + tmp + "\" already exists! Using \"" + final_id + "\" instead...");
+            return create_pie(name, icon_name, min_id, max_id, final_id);
+        }
+
+        Pie pie = new Pie(final_id, name, icon_name);
+        all_pies.set(final_id, pie);
+        
+        return pie;
+    }
+    
+    /////////////////////////////////////////////////////////////////////
+    /// Removes the Pie with the given ID if it exists. Additionally it
+    /// unbinds it's global hotkey.
+    /////////////////////////////////////////////////////////////////////
+    
+    public static void remove_pie(string id) {
+        if (all_pies.has_key(id)) {
+            all_pies[id].on_remove();
+            all_pies.unset(id);
+            bindings.unbind(id);
+            
+            if (id.length == 3)
+                remove_launcher(id);
+        }
+        else {
+            warning("Failed to remove pie with ID \"" + id + "\": ID does not exist!");
+        }
+    }
+    
+    private static void create_launcher(string id) {
+        if (all_pies.has_key(id)) {
+            Pie? pie = all_pies[id];
+            
+            string launcher_entry = 
+                "#!/usr/bin/env xdg-open\n" + 
+                "[Desktop Entry]\n" +
+                "Name=%s\n".printf(pie.name) +
+                "Exec=gnome-pie -o %s\n".printf(pie.id) +
+                "Encoding=UTF-8\n" +
+                "Type=Application\n" +
+                "Icon=%s\n".printf(pie.icon);
+
+            // create the launcher file
+            string launcher = Paths.launchers + "/%s.desktop".printf(pie.id);
+            
+            try {
+                FileUtils.set_contents(launcher, launcher_entry);
+                FileUtils.chmod(launcher, 0755);
+            } catch (Error e) {
+                warning(e.message);
+            }
+        }
+    }
+    
+    private static void remove_launcher(string id) {
+        string launcher = Paths.launchers + "/%s.desktop".printf(id);
+        if (FileUtils.test(launcher, FileTest.EXISTS)) {
+            FileUtils.remove(launcher);
+        }
+    }
+}
+
+}