search panel with configurable regexp/ignorecase

This commit is contained in:
Jindra Petk
2013-05-20 19:15:12 +02:00
parent 5100b53b0f
commit 7ee9a09352

Binary file not shown.