5 |
5 |
6 """ |
6 """ |
7 Module implementing the editor assembly widget containing the navigation combos and |
7 Module implementing the editor assembly widget containing the navigation combos and |
8 the editor widget. |
8 the editor widget. |
9 """ |
9 """ |
|
10 |
|
11 from __future__ import unicode_literals # __IGNORE_WARNING__ |
10 |
12 |
11 from PyQt4.QtCore import QTimer |
13 from PyQt4.QtCore import QTimer |
12 from PyQt4.QtGui import QWidget, QGridLayout, QComboBox |
14 from PyQt4.QtGui import QWidget, QGridLayout, QComboBox |
13 |
15 |
14 import UI.PixmapCache |
16 import UI.PixmapCache |
29 @param vm reference to the view manager object (ViewManager.ViewManager) |
31 @param vm reference to the view manager object (ViewManager.ViewManager) |
30 @param filetype type of the source file (string) |
32 @param filetype type of the source file (string) |
31 @param editor reference to an Editor object, if this is a cloned view |
33 @param editor reference to an Editor object, if this is a cloned view |
32 @param tv reference to the task viewer object |
34 @param tv reference to the task viewer object |
33 """ |
35 """ |
34 super().__init__() |
36 super(EditorAssembly, self).__init__() |
35 |
37 |
36 self.__layout = QGridLayout(self) |
38 self.__layout = QGridLayout(self) |
37 self.__layout.setContentsMargins(0, 0, 0, 0) |
39 self.__layout.setContentsMargins(0, 0, 0, 0) |
38 self.__layout.setSpacing(1) |
40 self.__layout.setSpacing(1) |
39 |
41 |