wxGUI: encode values when saving workspace with overlays (see https://trac.osgeo.org/grass/ticket/3275)

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@70531 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/core/workspace.py

@@ -1567,7 +1567,7 @@ class WriteWorkspaceFile(object):
             else:
                 self.file.write('%s<parameter name="%s">\n' % (' ' * self.indent, prm.split("=", 1)[0]))
                 self.indent += 4
-                self.file.write('%s<value>%s</value>\n' % (' ' * self.indent, prm.split("=", 1)[1]))
+                self.file.write('%s<value>%s</value>\n' % (' ' * self.indent, EncodeString(prm.split("=", 1)[1])))
                 self.indent -= 4
                 self.file.write('%s</parameter>\n' % (' ' * self.indent))
         self.indent -= 4