Helpviewer/GreaseMonkey/GreaseMonkeyManager.py

changeset 1954
5072605ad4dd
parent 1953
26aa6fd94dc2
child 2087
795992a5c561
equal deleted inserted replaced
1953:26aa6fd94dc2 1954:5072605ad4dd
110 settings.beginGroup("Files") 110 settings.beginGroup("Files")
111 for url in urlList: 111 for url in urlList:
112 if settings.contains(url): 112 if settings.contains(url):
113 fileName = settings.value(url) 113 fileName = settings.value(url)
114 try: 114 try:
115 f = open(fileName, "r") 115 f = open(fileName, "r", encoding="utf-8")
116 source = f.read() 116 source = f.read()
117 f.close() 117 f.close()
118 except (IOError, OSError): 118 except (IOError, OSError):
119 source = "" 119 source = ""
120 script += source.strip() + "\n" 120 script += source.strip() + "\n"

eric ide

mercurial