9 """ |
9 """ |
10 |
10 |
11 import contextlib |
11 import contextlib |
12 |
12 |
13 from PyQt6.QtCore import QTimer |
13 from PyQt6.QtCore import QTimer |
14 from PyQt6.QtWidgets import QWidget, QGridLayout, QComboBox |
14 from PyQt6.QtWidgets import QComboBox, QGridLayout, QWidget |
15 |
15 |
|
16 from eric7 import Preferences |
|
17 from eric7.EricGui import EricPixmapCache |
16 from eric7.EricWidgets.EricApplication import ericApp |
18 from eric7.EricWidgets.EricApplication import ericApp |
17 |
|
18 from eric7.EricGui import EricPixmapCache |
|
19 from eric7 import Preferences |
|
20 |
19 |
21 |
20 |
22 class EditorAssembly(QWidget): |
21 class EditorAssembly(QWidget): |
23 """ |
22 """ |
24 Class implementing the editor assembly widget containing the navigation |
23 Class implementing the editor assembly widget containing the navigation |
47 |
46 |
48 self.__layout = QGridLayout(self) |
47 self.__layout = QGridLayout(self) |
49 self.__layout.setContentsMargins(0, 0, 0, 0) |
48 self.__layout.setContentsMargins(0, 0, 0, 0) |
50 self.__layout.setSpacing(1) |
49 self.__layout.setSpacing(1) |
51 |
50 |
|
51 from .Editor import Editor |
52 from .EditorButtonsWidget import EditorButtonsWidget |
52 from .EditorButtonsWidget import EditorButtonsWidget |
53 from .Editor import Editor |
|
54 from .EditorOutline import EditorOutlineView |
53 from .EditorOutline import EditorOutlineView |
55 |
54 |
56 self.__showOutline = Preferences.getEditor("ShowSourceOutline") |
55 self.__showOutline = Preferences.getEditor("ShowSourceOutline") |
57 |
56 |
58 self.__editor = Editor(dbs, fn, vm, filetype, editor, tv) |
57 self.__editor = Editor(dbs, fn, vm, filetype, editor, tv) |