eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py

changeset 7781
607a6098cb44
parent 7759
51aa6c6b66f7
child 7785
9978016560ec
equal deleted inserted replaced
7780:41420f82c0ac 7781:607a6098cb44
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the manager for GreaseMonkey scripts. 7 Module implementing the manager for GreaseMonkey scripts.
8 """ 8 """
9
10 9
11 import os 10 import os
12 11
13 from PyQt5.QtCore import ( 12 from PyQt5.QtCore import (
14 pyqtSignal, pyqtSlot, Qt, QObject, QTimer, QFile, QFileInfo, QDir, 13 pyqtSignal, pyqtSlot, Qt, QObject, QTimer, QFile, QFileInfo, QDir,

eric ide

mercurial