changed highlighting behavior of structure widgets
changed border-color of the structure widget edit-marker