eric6/QScintilla/SearchReplaceWidget.py

changeset 7781
607a6098cb44
parent 7533
88261c96484b
child 7923
91e843545d9a
equal deleted inserted replaced
7780:41420f82c0ac 7781:607a6098cb44
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the search and replace widget. 7 Module implementing the search and replace widget.
8 """ 8 """
9
10 9
11 from PyQt5.QtCore import pyqtSignal, Qt, pyqtSlot, QEvent 10 from PyQt5.QtCore import pyqtSignal, Qt, pyqtSlot, QEvent
12 from PyQt5.QtWidgets import ( 11 from PyQt5.QtWidgets import (
13 QWidget, QHBoxLayout, QToolButton, QScrollArea, QSizePolicy, QFrame 12 QWidget, QHBoxLayout, QToolButton, QScrollArea, QSizePolicy, QFrame
14 ) 13 )

eric ide

mercurial