Style editor improvements

svn: r1324
2003-03-04 05:48:36 +00:00
parent e3e2a02607
commit 77679c01a7
5 changed files with 660 additions and 667 deletions
--- a/src/TextDoc.py
+++ b/src/TextDoc.py
@@ -748,7 +748,7 @@ class StyleSheetList:
        Saves the current StyleSheet definitions to the associated file.
        """
        f = open(self.file,"w")
-        f.write("<?xml version=\"1.0\" encoding=\"iso-8859-1\"?>\n")
+        f.write("<?xml version=\"1.0\"?>\n")
        f.write('<stylelist>\n')
        for name in self.map.keys():
            if name == "default":