commit | 48d5795649f8fc6d197a63c1676ec462991f9c5f | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Thu Sep 04 20:14:53 2014 +0200 |
committer | Dani Megert <dmegert> | Thu Sep 04 20:14:53 2014 +0200 |
tree | c4c711bb623059fbc9cdda933437ee2fb9d84369 | |
parent | ba286b2b25cdecaf5c8f433ee7318530f4f02d21 [diff] |
Fixed bug 442170: NPE in org.eclipse.jface.text.PaintManager.PositionManager.managePosition