[gedit] [externaltools] properly quote terminal dir

[Paolo Borelli <pborelli src gnome org>]

commit 6991c8ca36b33011131b0d6c8dfcf6759fba20a4
Author: Paolo Borelli <pborelli gnome org>
Date:   Mon Apr 14 10:01:31 2014 +0200

    [externaltools] properly quote terminal dir
    
    Fixes https://bugzilla.gnome.org/show_bug.cgi?id=711534

 .../externaltools/data/open-terminal-here.tool.in  |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/data/open-terminal-here.tool.in 
b/plugins/externaltools/data/open-terminal-here.tool.in
index 35fdc86..9365648 100755
--- a/plugins/externaltools/data/open-terminal-here.tool.in
+++ b/plugins/externaltools/data/open-terminal-here.tool.in
@@ -1,4 +1,4 @@
 #!/bin/sh
 
 #TODO: use "gconftool-2 -g /desktop/gnome/applications/terminal/exec"
-gnome-terminal --working-directory=$GEDIT_CURRENT_DOCUMENT_DIR &
+gnome-terminal --working-directory="$GEDIT_CURRENT_DOCUMENT_DIR" &