Tooltips now properly disappear when another text box with a tooltip has been highlighted. Also known as Issue 132. Patch by: Mario Ferraro Reviewed by: Lennard de Rijk

+
−# test settings file with no errors
+
−
+
−foo = 3
+
−bar = foo
+
−