tree c4c711bb623059fbc9cdda933437ee2fb9d84369
parent ba286b2b25cdecaf5c8f433ee7318530f4f02d21
author Dani Megert <dmegert> 1409854493 +0200
committer Dani Megert <dmegert> 1409854493 +0200

Fixed bug 442170: NPE in org.eclipse.jface.text.PaintManager.PositionManager.managePosition