Merge Upstream Release

1 files changed, 68 insertions, 68 deletions

diff --git a/src/utilities/paths.vala b/src/utilities/paths.vala
index fe8897b..5b39c45 100644
--- a/src/utilities/paths.vala
+++ b/src/utilities/paths.vala
@@ -1,4 +1,4 @@
-/* 
+/*
 Copyright (c) 2011 by Simon Schneegans
 
 This program is free software: you can redistribute it and/or modify it
@@ -12,12 +12,12 @@ 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/>. 
+this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 namespace GnomePie {
 
-/////////////////////////////////////////////////////////////////////////    
+/////////////////////////////////////////////////////////////////////////
 /// A static class which stores all relevant paths used by Gnome-Pie.
 /// These depend upon the location from which the program was launched.
 /////////////////////////////////////////////////////////////////////////
@@ -28,122 +28,122 @@ public class Paths : GLib.Object {
     /// The config directory,
     /// usually ~/.config/gnome-pie/.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string config_directory { get; private set; default=""; }
 
     /////////////////////////////////////////////////////////////////////
     /// The log file,
     /// usually ~/.config/gnome-pie/gnome-pie.log.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string log { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The statistics file,
     /// usually ~/.config/gnome-pie/gnome-pie.stats.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string stats { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The settings file,
     /// usually ~/.config/gnome-pie/gnome-pie.conf.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string settings { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The pie configuration file
     /// usually ~/.config/gnome-pie/pies.conf.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string pie_config { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The directory containing themes installed by the user
     /// usually ~/.config/gnome-pie/themes.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string local_themes { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The directory containing pre-installed themes
     /// usually /usr/share/gnome-pie/themes.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string global_themes { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The directory containing locale files
     /// usually /usr/share/locale.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string locales { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The directory containing UI declaration files
     /// usually /usr/share/gnome-pie/ui/.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string ui_files { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The autostart file of gnome-pie_config
     /// usually ~/.config/autostart/gnome-pie.desktop.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string autostart { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The path where all pie-launchers are stored
     /// usually ~/.config/gnome-pie/launchers.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string launchers { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// The path to the executable.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static string executable { get; private set; default=""; }
-    
+
     /////////////////////////////////////////////////////////////////////
     /// Initializes all values above.
     /////////////////////////////////////////////////////////////////////
-    
+
     public static void init() {
-    
+
         // get path of executable
         try {
             executable = GLib.File.new_for_path(GLib.FileUtils.read_link("/proc/self/exe")).get_path();
         } catch (GLib.FileError e) {
             warning("Failed to get path of executable!");
         }
-    
+
         // append resources to icon search path to icon theme, if neccasary
         var icon_dir = GLib.File.new_for_path(GLib.Path.get_dirname(executable)).get_child("resources");
-                    
+
         if (icon_dir.query_exists()) {
             string path = icon_dir.get_path();
             Gtk.IconTheme.get_default().append_search_path(path);
         }
-        
+
         Gtk.IconTheme.get_default().append_search_path("/usr/share/pixmaps/");
-    
+
         // get global paths
         var default_dir = GLib.File.new_for_path("/usr/share/gnome-pie/");
         if(!default_dir.query_exists()) {
             default_dir = GLib.File.new_for_path("/usr/local/share/gnome-pie/");
-            
+
             if(!default_dir.query_exists()) {
                 default_dir = GLib.File.new_for_path(GLib.Path.get_dirname(
                     executable)).get_child("resources");
             }
         }
-        
+
         global_themes = default_dir.get_path() + "/themes";
         ui_files = default_dir.get_path() + "/ui";
-        
+
         // get locales path
         var locale_dir = GLib.File.new_for_path("/usr/share/locale/de/LC_MESSAGES/gnomepie.mo");
         if(locale_dir.query_exists()) {
@@ -155,16 +155,16 @@ public class Paths : GLib.Object {
             } else {
                 locale_dir = GLib.File.new_for_path(GLib.Path.get_dirname(
                     executable)).get_child("resources/locale/de/LC_MESSAGES/gnomepie.mo");
-                
+
                 if(locale_dir.query_exists()) {
                     locale_dir = GLib.File.new_for_path(GLib.Path.get_dirname(
                         executable)).get_child("resources/locale");
                 }
             }
         }
-        
+
         locales = locale_dir.get_path();
-    
+
         // get local paths
         var config_dir = GLib.File.new_for_path(
             GLib.Environment.get_user_config_dir()).get_child("gnome-pie");
@@ -177,9 +177,9 @@ public class Paths : GLib.Object {
                 error(e.message);
             }
         }
-        
+
         config_directory = config_dir.get_path();
-        
+
         // create local themes directory if neccasary
         var themes_dir = config_dir.get_child("themes");
         if(!themes_dir.query_exists()) {
@@ -189,9 +189,9 @@ public class Paths : GLib.Object {
                 error(e.message);
             }
         }
-        
+
         local_themes = themes_dir.get_path();
-        
+
         // create launchers directory if neccasary
         var launchers_dir = config_dir.get_child("launchers");
         if(!launchers_dir.query_exists()) {
@@ -201,17 +201,17 @@ public class Paths : GLib.Object {
                 error(e.message);
             }
         }
-        
+
         launchers = launchers_dir.get_path();
-        
+
         // check for config file
         var config_file = config_dir.get_child("pies.conf");
-        
+
         pie_config = config_file.get_path();
         settings = config_dir.get_path() + "/gnome-pie.conf";
         log = config_dir.get_path() + "/gnome-pie.log";
         stats = config_dir.get_path() + "/gnome-pie.stats";
-        
+
         if (!GLib.File.new_for_path(log).query_exists()) {
             try {
                 FileUtils.set_contents(log, "");
@@ -219,7 +219,7 @@ public class Paths : GLib.Object {
                 error(e.message);
             }
         }
-        
+
         if (!GLib.File.new_for_path(stats).query_exists()) {
             try {
                 FileUtils.set_contents(stats, "");
@@ -227,36 +227,36 @@ public class Paths : GLib.Object {
                 error(e.message);
             }
         }
-        
+
         // autostart file name
-        autostart = GLib.Path.build_filename(GLib.Environment.get_user_config_dir(), 
+        autostart = GLib.Path.build_filename(GLib.Environment.get_user_config_dir(),
                                              "autostart", "gnome-pie.desktop", null);
-        
+
         // print results
-        if (!GLib.File.new_for_path(pie_config).query_exists())                                                  
+        if (!GLib.File.new_for_path(pie_config).query_exists())
             warning("Failed to find pie configuration file \"pies.conf\"! (This should only happen when Gnome-Pie is started for the first time...)");
-            
-        if (!GLib.File.new_for_path(settings).query_exists())                                                  
+
+        if (!GLib.File.new_for_path(settings).query_exists())
             warning("Failed to find settings file \"gnome-pie.conf\"! (This should only happen when Gnome-Pie is started for the first time...)");
-            
-        if (!GLib.File.new_for_path(log).query_exists())                                                  
+
+        if (!GLib.File.new_for_path(log).query_exists())
             warning("Failed to find log file \"gnome-pie.log\"!");
-            
-        if (!GLib.File.new_for_path(stats).query_exists())                                                  
+
+        if (!GLib.File.new_for_path(stats).query_exists())
             warning("Failed to find statistics file \"gnome-pie.stats\"!");
-            
-        if (!GLib.File.new_for_path(local_themes).query_exists())                                                  
+
+        if (!GLib.File.new_for_path(local_themes).query_exists())
             warning("Failed to find local themes directory!");
-            
-        if (!GLib.File.new_for_path(launchers).query_exists())                                                  
+
+        if (!GLib.File.new_for_path(launchers).query_exists())
             warning("Failed to find launchers directory!");
-            
-        if (!GLib.File.new_for_path(global_themes).query_exists()) 
-            warning("Failed to find global themes directory!");   
-            
-        if (!GLib.File.new_for_path(ui_files).query_exists()) 
-            warning("Failed to find UI files directory!");     
-    }    
+
+        if (!GLib.File.new_for_path(global_themes).query_exists())
+            warning("Failed to find global themes directory!");
+
+        if (!GLib.File.new_for_path(ui_files).query_exists())
+            warning("Failed to find UI files directory!");
+    }
 }
 
 }