29 def __init__(self, manager, script, parent=None): |
29 def __init__(self, manager, script, parent=None): |
30 """ |
30 """ |
31 Constructor |
31 Constructor |
32 |
32 |
33 @param manager reference to the GreaseMonkey manager |
33 @param manager reference to the GreaseMonkey manager |
34 (GreaseMonkeyManager) |
34 @type GreaseMonkeyManager |
35 @param script GreaseMonkey script to be added (GreaseMonkeyScript) |
35 @param script GreaseMonkey script to be added |
36 @param parent reference to the parent widget (QWidget) |
36 @type GreaseMonkeyScript |
|
37 @param parent reference to the parent widget |
|
38 @type QWidget |
37 """ |
39 """ |
38 super().__init__(parent) |
40 super().__init__(parent) |
39 self.setupUi(self) |
41 self.setupUi(self) |
40 |
42 |
41 self.iconLabel.setPixmap(EricPixmapCache.getPixmap("greaseMonkey48")) |
43 self.iconLabel.setPixmap(EricPixmapCache.getPixmap("greaseMonkey48")) |