see #7503: allow to disable highlighting of members/primitives (for slow machines)
(using old Draw target highlight option in display preferences)

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6058 0c6e7542-c601-0410-84e7-c038aed88b3b
Merge branch 'master' into mirror