50 @param parent reference to the parent widget |
50 @param parent reference to the parent widget |
51 @type QWidget |
51 @type QWidget |
52 """ |
52 """ |
53 super().__init__(parent) |
53 super().__init__(parent) |
54 self.setupUi(self) |
54 self.setupUi(self) |
|
55 |
|
56 self.layout().setContentsMargins(0, 3, 0, 0) |
55 |
57 |
56 self.__manager = manager |
58 self.__manager = manager |
57 |
59 |
58 self.refreshButton.setIcon(EricPixmapCache.getIcon("reload")) |
60 self.refreshButton.setIcon(EricPixmapCache.getIcon("reload")) |
59 self.addButton.setIcon(EricPixmapCache.getIcon("plus")) |
61 self.addButton.setIcon(EricPixmapCache.getIcon("plus")) |