tree 0ded0d875bca427ed2011c10608771a59f516f7f
parent 55c5140d4fe627f60bbb1fa8175d4cae3749e106
author Dani Megert <dmegert> 1177677166 +0000
committer Dani Megert <dmegert> 1177677166 +0000

Fixed bug 22243: [preferences] java editor does not respect high contrast settings
based on patch by Tod