Eyck Jentzsch 5933bcd512 configure the hover visibility from UI		2020-03-21 11:30:30 +01:00
..
swt	configure the hover visibility from UI	2020-03-21 11:30:30 +01:00