8 editor actions. |
8 editor actions. |
9 """ |
9 """ |
10 |
10 |
11 import contextlib |
11 import contextlib |
12 |
12 |
13 from PyQt6.QtCore import pyqtSlot, Qt |
13 from PyQt6.QtCore import Qt, pyqtSlot |
14 from PyQt6.QtWidgets import ( |
14 from PyQt6.QtWidgets import ( |
15 QWidget, |
|
16 QVBoxLayout, |
|
17 QToolButton, |
|
18 QFrame, |
15 QFrame, |
19 QMenu, |
16 QMenu, |
|
17 QScrollArea, |
20 QSizePolicy, |
18 QSizePolicy, |
21 QScrollArea, |
19 QToolButton, |
|
20 QVBoxLayout, |
|
21 QWidget, |
22 ) |
22 ) |
23 |
23 |
|
24 from eric7 import Preferences |
24 from eric7.EricGui import EricPixmapCache |
25 from eric7.EricGui import EricPixmapCache |
25 from eric7 import Preferences |
|
26 |
26 |
27 from . import MarkupProviders |
27 from . import MarkupProviders |
28 |
28 |
29 |
29 |
30 class EditorButtonsWidget(QWidget): |
30 class EditorButtonsWidget(QWidget): |