eric6/UI/SearchWidget.py

changeset 6987
3371a03ed0a7
parent 6942
2602857055c5
child 7206
74666c6679af
equal deleted inserted replaced
6986:23886c1dd3d0 6987:3371a03ed0a7
2 2
3 # Copyright (c) 2012 - 2019 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2012 - 2019 Detlev Offenbach <detlev@die-offenbachs.de>
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the search box for the shell, terminal and log viewer. 7 Module implementing the search box for the shell and log viewer.
8 """ 8 """
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 from PyQt5.QtCore import pyqtSlot, pyqtSignal, Qt 12 from PyQt5.QtCore import pyqtSlot, pyqtSignal, Qt
15 import UI.PixmapCache 15 import UI.PixmapCache
16 16
17 17
18 class SearchWidget(QWidget): 18 class SearchWidget(QWidget):
19 """ 19 """
20 Class implementing the search box for the shell, terminal and log viewer. 20 Class implementing the search box for the shell and log viewer.
21 21
22 @signal searchNext(text, caseSensitive, wholeWord, regexp) emitted when the 22 @signal searchNext(text, caseSensitive, wholeWord, regexp) emitted when the
23 user pressed the next button (string, boolean, boolean) 23 user pressed the next button (string, boolean, boolean)
24 @signal searchPrevious(text, caseSensitive, wholeWord, regexp) emitted when 24 @signal searchPrevious(text, caseSensitive, wholeWord, regexp) emitted when
25 the user pressed the previous button (string, boolean, boolean) 25 the user pressed the previous button (string, boolean, boolean)

eric ide

mercurial