import net.sourceforge.phpdt.ui.IWorkingCopyManager;
import net.sourceforge.phpdt.ui.PreferenceConstants;
import net.sourceforge.phpdt.ui.actions.GenerateActionGroup;
-import net.sourceforge.phpdt.ui.text.JavaTextTools;
+//import net.sourceforge.phpdt.ui.text.JavaTextTools;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
import net.sourceforge.phpeclipse.phpeditor.actions.RTrimAction;
import net.sourceforge.phpeclipse.ui.WebUI;
import org.eclipse.swt.events.VerifyEvent;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.Point;
-import org.eclipse.swt.graphics.RGB;
+//import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Shell;
}
/*
+ * Get the global 'Undo history size' setting
+ *
+ */
+ protected int getUndoHistorySize () {
+ IPreferenceStore store= getPreferenceStore ();
+
+ return store != null ? store.getInt("undoHistorySize") : 1000;
+ }
+
+
+ /*
* @see org.eclipse.jface.text.source.ISourceViewer#configure(org.eclipse.jface.text.source.SourceViewerConfiguration)
*/
public void configure(SourceViewerConfiguration configuration) {
prependAutoEditStrategy(smartSemi, IPHPPartitions.PHP_STRING_SQ);
prependAutoEditStrategy(smartSemi,
IPHPPartitions.PHP_STRING_HEREDOC);
+
+ fUndoManager.setMaximalUndoLevel (this.getUndoHistorySize ()); // Set every editor to the global 'Undo history size'
}
/*
// return getColor(rgb);
// }
- private Color getColor(RGB rgb) {
- JavaTextTools textTools = WebUI.getDefault()
- .getJavaTextTools();
- return textTools.getColorManager().getColor(rgb);
- }
+// private Color getColor(RGB rgb) {
+// JavaTextTools textTools = WebUI.getDefault()
+// .getJavaTextTools();
+// return textTools.getColorManager().getColor(rgb);
+// }
// private Color getColor(AnnotationType annotationType) {
// AnnotationInfo info = (AnnotationInfo)