commit | 2e35479cc04739157a9175574564de11e47a1e37 | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Mon Mar 30 09:37:37 2009 +0000 |
committer | Dani Megert <dmegert> | Mon Mar 30 09:37:37 2009 +0000 |
tree | 493d1a229811c97ad82e2e44a030cdd9677f9bd4 | |
parent | fcfa976d81c812230676c0d079cea205f520bf65 [diff] |
Fixed bug 62712: [projection] Folding ruler doesn't take over java editor background color