eric6/UI/SearchWidget.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 box for the shell and log viewer. 7 Module implementing the search box for the shell and log viewer.
8 """ 8 """
9
10 9
11 from PyQt5.QtCore import pyqtSlot, pyqtSignal, Qt 10 from PyQt5.QtCore import pyqtSlot, pyqtSignal, Qt
12 from PyQt5.QtWidgets import QWidget, QSpacerItem, QSizePolicy 11 from PyQt5.QtWidgets import QWidget, QSpacerItem, QSizePolicy
13 12
14 import UI.PixmapCache 13 import UI.PixmapCache

eric ide

mercurial