import net.sourceforge.phpdt.internal.ui.text.SmartBackspaceManager;
import net.sourceforge.phpdt.ui.PreferenceConstants;
+import net.sourceforge.phpdt.ui.text.PHPSourceViewerConfiguration;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.PreferenceConverter;
case FORMAT:
Point point = getSelectedRange();
if (point.y==0) {
- setSelectedRange(0, getDocument().getLength());
+// setSelectedRange(0, getDocument().getLength());
+ revealRange(0, getDocument().getLength());
}
break;
}
fBackspaceManager.uninstall();
fBackspaceManager= null;
}
-
+
super.handleDispose();
}