From: <ed...@ed...> - 2012-01-15 16:09:50
|
Author: robekras Date: 2012-01-15 10:26:09 -0600 (Sun, 15 Jan 2012) New Revision: 1786 Modified: branches/1.2.x/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java Log: 1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default value of 25 undos. Modified: branches/1.2.x/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java =================================================================== --- branches/1.2.x/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java 2012-01-07 10:09:49 UTC (rev 1785) +++ branches/1.2.x/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java 2012-01-15 16:26:09 UTC (rev 1786) @@ -414,6 +414,17 @@ } /* + * 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) { @@ -428,6 +439,8 @@ 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' } /* |