From: robekras <robekras>
Date: Sun, 20 Nov 2011 15:43:00 +0000 (+0000)
Subject: 1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default... 
X-Git-Url: http://git.phpeclipse.com

1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default value of 25 undos.
---

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java
index 93d23ff..370142e 100644
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java
@@ -417,6 +417,17 @@ public class PHPUnitEditor extends PHPEditor { // implements
 		}
 
 		/*
+		 * 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) {
@@ -431,6 +442,8 @@ public class PHPUnitEditor extends PHPEditor { // implements
 			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'
 		}
 
 		/*