261 @type VariablesViewer |
261 @type VariablesViewer |
262 @param globalScope flag indicating global (True) or local (False) |
262 @param globalScope flag indicating global (True) or local (False) |
263 variables |
263 variables |
264 @type bool |
264 @type bool |
265 """ |
265 """ |
266 super(VariablesModel, self).__init__() |
266 super().__init__() |
267 self.treeView = treeView |
267 self.treeView = treeView |
268 self.proxyModel = treeView.proxyModel |
268 self.proxyModel = treeView.proxyModel |
269 |
269 |
270 self.framenr = -1 |
270 self.framenr = -1 |
271 self.openItems = [] |
271 self.openItems = [] |
863 Constructor |
863 Constructor |
864 |
864 |
865 @param parent the parent model index |
865 @param parent the parent model index |
866 @type QModelIndex |
866 @type QModelIndex |
867 """ |
867 """ |
868 super(VariablesProxyModel, self).__init__(parent) |
868 super().__init__(parent) |
869 self.setSortRole(SORT_ROLE) |
869 self.setSortRole(SORT_ROLE) |
870 |
870 |
871 def hasChildren(self, parent): |
871 def hasChildren(self, parent): |
872 """ |
872 """ |
873 Public method to get a flag if parent has children. |
873 Public method to get a flag if parent has children. |
1044 |
1044 |
1045 @param value current value of the vertical scrollbar |
1045 @param value current value of the vertical scrollbar |
1046 @type int |
1046 @type int |
1047 """ |
1047 """ |
1048 self.varModel.getMore() |
1048 self.varModel.getMore() |
1049 super(VariablesViewer, self).verticalScrollbarValueChanged(value) |
1049 super().verticalScrollbarValueChanged(value) |
1050 |
1050 |
1051 def resizeEvent(self, event): |
1051 def resizeEvent(self, event): |
1052 """ |
1052 """ |
1053 Protected slot informing about the widget size change. |
1053 Protected slot informing about the widget size change. |
1054 |
1054 |
1055 @param event information |
1055 @param event information |
1056 @type QResizeEvent |
1056 @type QResizeEvent |
1057 """ |
1057 """ |
1058 self.varModel.getMore() |
1058 self.varModel.getMore() |
1059 super(VariablesViewer, self).resizeEvent(event) |
1059 super().resizeEvent(event) |
1060 |
1060 |
1061 def __itemDoubleClicked(self, index): |
1061 def __itemDoubleClicked(self, index): |
1062 """ |
1062 """ |
1063 Private method called if an item was double clicked. |
1063 Private method called if an item was double clicked. |
1064 |
1064 |