E5Gui/E5TextEditSearchWidget.py

branch
screenshot
changeset 6925
bd5311c4680e
parent 6645
ad476851d7e0
child 6646
51eefa621de4

eric ide

mercurial