diff -r 3e9f0330f833 -r 7781e396c903 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py Sun Jun 19 17:50:39 2011 +0200
+++ b/ViewManager/ViewManager.py Sun Jun 19 19:36:27 2011 +0200
@@ -81,7 +81,7 @@
if evt.key() == Qt.Key_Escape:
self.escPressed.emit()
else:
- QLineEdit.keyPressEvent(self, evt) # pass it on
+ super().keyPressEvent(evt) # pass it on
def focusInEvent(self, evt):
"""
@@ -90,7 +90,7 @@
@param evt focus event (QFocusEvent)
"""
self.gotFocus.emit()
- QLineEdit.focusInEvent(self, evt) # pass it on
+ super().focusInEvent(evt) # pass it on
class ViewManager(QObject):
@@ -132,7 +132,7 @@
@param ui reference to the main user interface
@param dbs reference to the debug server object
"""
- QObject.__init__(self)
+ super().__init__()
# initialize the instance variables
self.editors = []
