Something's wrong with tip windows

[klayoutmatthias]

At least the "marker not visible" tip does not go away when markers are made visible.

Related forum entry is: https://www.klayout.de/forum/discussion/1301/layer-properties-file-path#latest