|
Lines 19-24
Link Here
|
| 19 |
|
19 |
|
| 20 |
import org.eclipse.jface.text.DefaultUndoManager; |
20 |
import org.eclipse.jface.text.DefaultUndoManager; |
| 21 |
import org.eclipse.jface.text.IUndoManager; |
21 |
import org.eclipse.jface.text.IUndoManager; |
|
|
22 |
import org.eclipse.jface.text.SharedDocumentUndoManager; |
| 22 |
import org.eclipse.jface.text.hyperlink.DefaultHyperlinkPresenter; |
23 |
import org.eclipse.jface.text.hyperlink.DefaultHyperlinkPresenter; |
| 23 |
import org.eclipse.jface.text.hyperlink.IHyperlinkDetector; |
24 |
import org.eclipse.jface.text.hyperlink.IHyperlinkDetector; |
| 24 |
import org.eclipse.jface.text.hyperlink.IHyperlinkPresenter; |
25 |
import org.eclipse.jface.text.hyperlink.IHyperlinkPresenter; |
|
Lines 193-198
Link Here
|
| 193 |
return super.getUndoManager(sourceViewer); |
194 |
return super.getUndoManager(sourceViewer); |
| 194 |
|
195 |
|
| 195 |
int undoHistorySize= fPreferenceStore.getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE); |
196 |
int undoHistorySize= fPreferenceStore.getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE); |
|
|
197 |
// Temporary variable to leave both styles in the code for now |
| 198 |
boolean useSharedUndoManager = true; |
| 199 |
if (useSharedUndoManager) |
| 200 |
return new SharedDocumentUndoManager(undoHistorySize); |
| 196 |
return new DefaultUndoManager(undoHistorySize); |
201 |
return new DefaultUndoManager(undoHistorySize); |
| 197 |
} |
202 |
} |
| 198 |
} |
203 |
} |
