Fixed "textEditor==null" bug
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / OverviewRulerHoverManager.java
2003-04-06 khartlageAdded PHPUnitEditor and corresponding PHPPreferencePage