eric6/WebBrowser/GreaseMonkey/GreaseMonkeyScript.py

changeset 8235
78e6d29eb773
parent 8218
7c09585bd960
equal deleted inserted replaced
8234:fcb6b4b96274 8235:78e6d29eb773
303 303
304 line = line[3:].replace("\t", " ") 304 line = line[3:].replace("\t", " ")
305 index = line.find(" ") 305 index = line.find(" ")
306 306
307 key = line[:index].strip() 307 key = line[:index].strip()
308 if index > 0: 308 value = line[index + 1:].strip() if index > 0 else ""
309 value = line[index + 1:].strip()
310 else:
311 value = ""
312 309
313 if not key: 310 if not key:
314 continue 311 continue
315 312
316 if key == "@name": 313 if key == "@name":

eric ide

mercurial