Eyck Jentzsch 6be1f018b1 add search dialog and pane		2020-10-29 07:48:35 +01:00
..
wb/swt	add search dialog and pane	2020-10-29 07:48:35 +01:00