UI/SearchWidget.py

changeset 6048
82ad8ec9548c
parent 5710
b5809b948010
child 6573
ccac2d1f6858
equal deleted inserted replaced
6047:39586a2de99d 6048:82ad8ec9548c
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2012 - 2017 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2012 - 2018 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, terminal and log viewer.
8 """ 8 """

eric ide

mercurial