Allow customization of highlight width (mappaint.highlight.*)
+ wider highlight when map (or some button) is not focused 

git-svn-id: http://josm.openstreetmap.de/svn/trunk@6035 0c6e7542-c601-0410-84e7-c038aed88b3b
Highlight selected members in Relation Editor dialog

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