fixed #8934 - Text-halo-color and text-halo-radius Properties are not applied within area selectors (patch by AlfonZ)


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