src/eric7/QScintilla/EditorButtonsWidget.py

branch
eric7
changeset 9473
3f23dbf37dbe
parent 9413
80c06d472826
child 9653
e67609152c5e
equal deleted inserted replaced
9472:5798ee4a8807 9473:3f23dbf37dbe
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):

eric ide

mercurial