eric6/QScintilla/SearchReplaceWidget.py

changeset 7229
53054eb5b15a
parent 6942
2602857055c5
child 7267
aedc309827c7
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
5 5
6 """ 6 """
7 Module implementing the search and replace widget. 7 Module implementing the search and replace widget.
8 """ 8 """
9 9
10 from __future__ import unicode_literals
11 10
12 from PyQt5.QtCore import pyqtSignal, Qt, pyqtSlot, QEvent 11 from PyQt5.QtCore import pyqtSignal, Qt, pyqtSlot, QEvent
13 from PyQt5.QtWidgets import QWidget, QHBoxLayout, QToolButton, QScrollArea, \ 12 from PyQt5.QtWidgets import QWidget, QHBoxLayout, QToolButton, QScrollArea, \
14 QSizePolicy, QFrame 13 QSizePolicy, QFrame
15 14

eric ide

mercurial