eric7/WebBrowser/GreaseMonkey/GreaseMonkeyScript.py

branch
eric7
changeset 9162
8b75b1668583
parent 8881
54e42bc2437a
equal deleted inserted replaced
9161:90939b08da20 9162:8b75b1668583
281 return 281 return
282 282
283 if self.__fileName not in self.__fileWatcher.files(): 283 if self.__fileName not in self.__fileWatcher.files():
284 self.__fileWatcher.addPath(self.__fileName) 284 self.__fileWatcher.addPath(self.__fileName)
285 285
286 rx = re.compile("// ==UserScript==(.*)// ==/UserScript==") 286 rx = re.compile(
287 r"""// ==UserScript==(.*)// ==/UserScript==""",
288 re.DOTALL
289 )
287 match = rx.search(fileData) 290 match = rx.search(fileData)
288 if match is None: 291 if match is None:
289 # invalid script file 292 # invalid script file
290 return 293 return
291 294

eric ide

mercurial