commit | 13998886ee571d5ef1886c14d57cebd93eddb174 | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Fri Apr 27 12:32:46 2007 +0000 |
committer | Dani Megert <dmegert> | Fri Apr 27 12:32:46 2007 +0000 |
tree | 0ded0d875bca427ed2011c10608771a59f516f7f | |
parent | 55c5140d4fe627f60bbb1fa8175d4cae3749e106 [diff] |
Fixed bug 22243: [preferences] java editor does not respect high contrast settings based on patch by Tod