eric6/QScintilla/EditorButtonsWidget.py

changeset 7781
607a6098cb44
parent 7533
88261c96484b
child 7923
91e843545d9a
equal deleted inserted replaced
7780:41420f82c0ac 7781:607a6098cb44
5 5
6 """ 6 """
7 Module implementing a widget containing various buttons for accessing 7 Module implementing a widget containing various buttons for accessing
8 editor actions. 8 editor actions.
9 """ 9 """
10
11 10
12 from PyQt5.QtCore import pyqtSlot, Qt 11 from PyQt5.QtCore import pyqtSlot, Qt
13 from PyQt5.QtWidgets import ( 12 from PyQt5.QtWidgets import (
14 QWidget, QVBoxLayout, QToolButton, QFrame, QMenu, QSizePolicy, QScrollArea 13 QWidget, QVBoxLayout, QToolButton, QFrame, QMenu, QSizePolicy, QScrollArea
15 ) 14 )

eric ide

mercurial