E5Gui/E5TextEditSearchWidget.py

branch
maintenance
changeset 6763
dc60316673af
parent 6646
51eefa621de4

eric ide

mercurial