[gedit/wip/redesign2] Make library executable

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 82552bba93ff8e1fb39ba8803fd14d0480b5f712
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Jan 2 20:06:14 2014 +0100

    Make library executable

 plugins/externaltools/tools/library.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/library.py b/plugins/externaltools/tools/library.py
index 1e2a1aa..07064da 100644
--- a/plugins/externaltools/tools/library.py
+++ b/plugins/externaltools/tools/library.py
@@ -477,6 +477,7 @@ class Tool(object):
 
 if __name__ == '__main__':
     library = ToolLibrary()
+    library.set_locations(os.path.expanduser("~/.config/gedit/tools"))
 
     def print_tool(t, indent):
         print(indent * "  " + "%s: %s" % (t.filename, t.name))