#! /bin/sh /usr/share/dpatch/dpatch-run
## 10-escaping.dpatch by Luca Bedogni <me@lucabedogni.it>
##
## DP: Correct escaping of characters

@DPATCH@

--- gmrun-0.9.1/src/gtkcompletionline.cc	2003-06-22 01:14:34.000000000 +0200
+++ gmrun-0.9.1/src/gtkcompletionline.cc	2007-08-01 00:32:35.000000000 +0200
@@ -225,12 +225,9 @@
   const char* i = str.c_str();
   while (*i) {
     char c = *i++;
-    switch (c) {
-     case ' ':
-      res += '\\';
-     default:
-      res += c;
-    }
+    if (c == ' ' || c == '(' || c == ')' || c =='\'')
+        res += '\\';
+    res += c;
   }
   return res;
 }