E5Gui/E5TextEditSearchWidget.py

branch
maintenance
changeset 6693
3629d88ae235
parent 6646
51eefa621de4

eric ide

mercurial