tree 493d1a229811c97ad82e2e44a030cdd9677f9bd4
parent fcfa976d81c812230676c0d079cea205f520bf65
author Dani Megert <dmegert> 1238405857 +0000
committer Dani Megert <dmegert> 1238405857 +0000

Fixed bug 62712: [projection] Folding ruler doesn't take over java editor background color