--- a/python/ide/logview.py	Fri Feb 07 12:51:55 2014 +0100
+++ b/python/ide/logview.py	Sun Feb 09 15:27:57 2014 +0100
@@ -5,16 +5,14 @@
 import logging
 import datetime
 
-from PyQt4.QtGui import QApplication, QWidget, QTableView, QVBoxLayout
-from PyQt4.QtGui import QHeaderView
-from PyQt4.QtCore import Qt
-from PyQt4.QtCore import QAbstractTableModel
+from qtwrapper import QtGui, QtCore, QtWidgets, Qt
 
 def formatTime(t):
     t2 = datetime.datetime.fromtimestamp(t)
     return t2.strftime('%H:%M:%S')
 
-class LogModel(QAbstractTableModel):
+
+class LogModel(QtCore.QAbstractTableModel):
     def __init__(self):
         super().__init__()
         self.entries = []
@@ -27,7 +25,7 @@
 
     def rowCount(self, parent):
         return len(self.entries)
-        
+
     def columnCount(self, parent):
         return len(self.headers)
 
@@ -42,23 +40,23 @@
     def headerData(self, section, orientation, role):
         if orientation == Qt.Horizontal and role == Qt.DisplayRole:
             return self.headers[section]
-            
+
     def newLog(self, x):
         self.entries.append(x)
         self.modelReset.emit()
 
 
-class LogView(QWidget):
+class LogView(QtWidgets.QWidget):
     """ Log view component """
     def __init__(self, parent=None):
         super().__init__(parent)
-        l = QVBoxLayout(self)
-        self.tv = QTableView(self)
+        l = QtWidgets.QVBoxLayout(self)
+        self.tv = QtWidgets.QTableView(self)
         self.tv.horizontalHeader().setStretchLastSection(True)
         l.addWidget(self.tv)
         self.lm = LogModel()
         self.tv.setModel(self.lm)
-    
+
         class MyHandler(logging.Handler):
             def emit(self2, x):
                 self.lm.newLog(x)