eric6/QScintilla/EditorButtonsWidget.py

changeset 7229
53054eb5b15a
parent 6942
2602857055c5
child 7267
aedc309827c7
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
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 10
11 from __future__ import unicode_literals
12 11
13 from PyQt5.QtCore import pyqtSlot, Qt 12 from PyQt5.QtCore import pyqtSlot, Qt
14 from PyQt5.QtWidgets import QWidget, QVBoxLayout, QToolButton, QFrame, QMenu, \ 13 from PyQt5.QtWidgets import QWidget, QVBoxLayout, QToolButton, QFrame, QMenu, \
15 QSizePolicy, QScrollArea 14 QSizePolicy, QScrollArea
16 15

eric ide

mercurial