Mercurial > projects > dwt-addons
annotate dwtx/jface/text/TextViewerUndoManager.d @ 192:c3583c6ec027
Added missing default cases for switch statements
| author | Frank Benoit <benoit@tionex.de> |
|---|---|
| date | Mon, 03 Nov 2008 22:52:26 +0100 |
| parents | 1a5b8f8129df |
| children |
| rev | line source |
|---|---|
| 129 | 1 /******************************************************************************* |
| 2 * Copyright (c) 2006, 2008 IBM Corporation and others. | |
| 3 * All rights reserved. This program and the accompanying materials | |
| 4 * are made available under the terms of the Eclipse Public License v1.0 | |
| 5 * which accompanies this distribution, and is available at | |
| 6 * http://www.eclipse.org/legal/epl-v10.html | |
| 7 * | |
| 8 * Contributors: | |
| 9 * IBM Corporation - initial API and implementation | |
| 10 * Port to the D programming language: | |
| 11 * Frank Benoit <benoit@tionex.de> | |
| 12 *******************************************************************************/ | |
| 13 | |
| 131 | 14 |
| 151 | 15 module dwtx.jface.text.TextViewerUndoManager; |
| 16 | |
| 131 | 17 import dwtx.jface.text.IDocumentPartitioningListener; // packageimport |
| 18 import dwtx.jface.text.DefaultTextHover; // packageimport | |
| 19 import dwtx.jface.text.AbstractInformationControl; // packageimport | |
| 20 import dwtx.jface.text.TextUtilities; // packageimport | |
| 21 import dwtx.jface.text.IInformationControlCreatorExtension; // packageimport | |
| 22 import dwtx.jface.text.AbstractInformationControlManager; // packageimport | |
| 23 import dwtx.jface.text.ITextViewerExtension2; // packageimport | |
| 24 import dwtx.jface.text.IDocumentPartitioner; // packageimport | |
| 25 import dwtx.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport | |
| 26 import dwtx.jface.text.ITextSelection; // packageimport | |
| 27 import dwtx.jface.text.Document; // packageimport | |
| 28 import dwtx.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport | |
| 29 import dwtx.jface.text.ITextListener; // packageimport | |
| 30 import dwtx.jface.text.BadPartitioningException; // packageimport | |
| 31 import dwtx.jface.text.ITextViewerExtension5; // packageimport | |
| 32 import dwtx.jface.text.IDocumentPartitionerExtension3; // packageimport | |
| 33 import dwtx.jface.text.IUndoManager; // packageimport | |
| 34 import dwtx.jface.text.ITextHoverExtension2; // packageimport | |
| 35 import dwtx.jface.text.IRepairableDocument; // packageimport | |
| 36 import dwtx.jface.text.IRewriteTarget; // packageimport | |
| 37 import dwtx.jface.text.DefaultPositionUpdater; // packageimport | |
| 38 import dwtx.jface.text.RewriteSessionEditProcessor; // packageimport | |
| 39 import dwtx.jface.text.TextViewerHoverManager; // packageimport | |
| 40 import dwtx.jface.text.DocumentRewriteSession; // packageimport | |
| 41 import dwtx.jface.text.TextViewer; // packageimport | |
| 42 import dwtx.jface.text.ITextViewerExtension8; // packageimport | |
| 43 import dwtx.jface.text.RegExMessages; // packageimport | |
| 44 import dwtx.jface.text.IDelayedInputChangeProvider; // packageimport | |
| 45 import dwtx.jface.text.ITextOperationTargetExtension; // packageimport | |
| 46 import dwtx.jface.text.IWidgetTokenOwner; // packageimport | |
| 47 import dwtx.jface.text.IViewportListener; // packageimport | |
| 48 import dwtx.jface.text.GapTextStore; // packageimport | |
| 49 import dwtx.jface.text.MarkSelection; // packageimport | |
| 50 import dwtx.jface.text.IDocumentPartitioningListenerExtension; // packageimport | |
| 51 import dwtx.jface.text.IDocumentAdapterExtension; // packageimport | |
| 52 import dwtx.jface.text.IInformationControlExtension; // packageimport | |
| 53 import dwtx.jface.text.IDocumentPartitioningListenerExtension2; // packageimport | |
| 54 import dwtx.jface.text.DefaultDocumentAdapter; // packageimport | |
| 55 import dwtx.jface.text.ITextViewerExtension3; // packageimport | |
| 56 import dwtx.jface.text.IInformationControlCreator; // packageimport | |
| 57 import dwtx.jface.text.TypedRegion; // packageimport | |
| 58 import dwtx.jface.text.ISynchronizable; // packageimport | |
| 59 import dwtx.jface.text.IMarkRegionTarget; // packageimport | |
| 60 import dwtx.jface.text.IRegion; // packageimport | |
| 61 import dwtx.jface.text.IInformationControlExtension2; // packageimport | |
| 62 import dwtx.jface.text.IDocumentExtension4; // packageimport | |
| 63 import dwtx.jface.text.IDocumentExtension2; // packageimport | |
| 64 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport | |
| 65 import dwtx.jface.text.Assert; // packageimport | |
| 66 import dwtx.jface.text.DefaultInformationControl; // packageimport | |
| 67 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport | |
| 68 import dwtx.jface.text.DocumentClone; // packageimport | |
| 69 import dwtx.jface.text.DefaultUndoManager; // packageimport | |
| 70 import dwtx.jface.text.IFindReplaceTarget; // packageimport | |
| 71 import dwtx.jface.text.IAutoEditStrategy; // packageimport | |
| 72 import dwtx.jface.text.ILineTrackerExtension; // packageimport | |
| 73 import dwtx.jface.text.IUndoManagerExtension; // packageimport | |
| 74 import dwtx.jface.text.TextSelection; // packageimport | |
| 75 import dwtx.jface.text.DefaultAutoIndentStrategy; // packageimport | |
| 76 import dwtx.jface.text.IAutoIndentStrategy; // packageimport | |
| 77 import dwtx.jface.text.IPainter; // packageimport | |
| 78 import dwtx.jface.text.IInformationControl; // packageimport | |
| 79 import dwtx.jface.text.IInformationControlExtension3; // packageimport | |
| 80 import dwtx.jface.text.ITextViewerExtension6; // packageimport | |
| 81 import dwtx.jface.text.IInformationControlExtension4; // packageimport | |
| 82 import dwtx.jface.text.DefaultLineTracker; // packageimport | |
| 83 import dwtx.jface.text.IDocumentInformationMappingExtension; // packageimport | |
| 84 import dwtx.jface.text.IRepairableDocumentExtension; // packageimport | |
| 85 import dwtx.jface.text.ITextHover; // packageimport | |
| 86 import dwtx.jface.text.FindReplaceDocumentAdapter; // packageimport | |
| 87 import dwtx.jface.text.ILineTracker; // packageimport | |
| 88 import dwtx.jface.text.Line; // packageimport | |
| 89 import dwtx.jface.text.ITextViewerExtension; // packageimport | |
| 90 import dwtx.jface.text.IDocumentAdapter; // packageimport | |
| 91 import dwtx.jface.text.TextEvent; // packageimport | |
| 92 import dwtx.jface.text.BadLocationException; // packageimport | |
| 93 import dwtx.jface.text.AbstractDocument; // packageimport | |
| 94 import dwtx.jface.text.AbstractLineTracker; // packageimport | |
| 95 import dwtx.jface.text.TreeLineTracker; // packageimport | |
| 96 import dwtx.jface.text.ITextPresentationListener; // packageimport | |
| 97 import dwtx.jface.text.Region; // packageimport | |
| 98 import dwtx.jface.text.ITextViewer; // packageimport | |
| 99 import dwtx.jface.text.IDocumentInformationMapping; // packageimport | |
| 100 import dwtx.jface.text.MarginPainter; // packageimport | |
| 101 import dwtx.jface.text.IPaintPositionManager; // packageimport | |
| 102 import dwtx.jface.text.TextPresentation; // packageimport | |
| 103 import dwtx.jface.text.IFindReplaceTargetExtension; // packageimport | |
| 104 import dwtx.jface.text.ISlaveDocumentManagerExtension; // packageimport | |
| 105 import dwtx.jface.text.ISelectionValidator; // packageimport | |
| 106 import dwtx.jface.text.IDocumentExtension; // packageimport | |
| 107 import dwtx.jface.text.PropagatingFontFieldEditor; // packageimport | |
| 108 import dwtx.jface.text.ConfigurableLineTracker; // packageimport | |
| 109 import dwtx.jface.text.SlaveDocumentEvent; // packageimport | |
| 110 import dwtx.jface.text.IDocumentListener; // packageimport | |
| 111 import dwtx.jface.text.PaintManager; // packageimport | |
| 112 import dwtx.jface.text.IFindReplaceTargetExtension3; // packageimport | |
| 113 import dwtx.jface.text.ITextDoubleClickStrategy; // packageimport | |
| 114 import dwtx.jface.text.IDocumentExtension3; // packageimport | |
| 115 import dwtx.jface.text.Position; // packageimport | |
| 116 import dwtx.jface.text.TextMessages; // packageimport | |
| 117 import dwtx.jface.text.CopyOnWriteTextStore; // packageimport | |
| 118 import dwtx.jface.text.WhitespaceCharacterPainter; // packageimport | |
| 119 import dwtx.jface.text.IPositionUpdater; // packageimport | |
| 120 import dwtx.jface.text.DefaultTextDoubleClickStrategy; // packageimport | |
| 121 import dwtx.jface.text.ListLineTracker; // packageimport | |
| 122 import dwtx.jface.text.ITextInputListener; // packageimport | |
| 123 import dwtx.jface.text.BadPositionCategoryException; // packageimport | |
| 124 import dwtx.jface.text.IWidgetTokenKeeperExtension; // packageimport | |
| 125 import dwtx.jface.text.IInputChangedListener; // packageimport | |
| 126 import dwtx.jface.text.ITextOperationTarget; // packageimport | |
| 127 import dwtx.jface.text.IDocumentInformationMappingExtension2; // packageimport | |
| 128 import dwtx.jface.text.ITextViewerExtension7; // packageimport | |
| 129 import dwtx.jface.text.IInformationControlExtension5; // packageimport | |
| 130 import dwtx.jface.text.IDocumentRewriteSessionListener; // packageimport | |
| 131 import dwtx.jface.text.JFaceTextUtil; // packageimport | |
| 132 import dwtx.jface.text.AbstractReusableInformationControlCreator; // packageimport | |
| 133 import dwtx.jface.text.TabsToSpacesConverter; // packageimport | |
| 134 import dwtx.jface.text.CursorLinePainter; // packageimport | |
| 135 import dwtx.jface.text.ITextHoverExtension; // packageimport | |
| 136 import dwtx.jface.text.IEventConsumer; // packageimport | |
| 137 import dwtx.jface.text.IDocument; // packageimport | |
| 138 import dwtx.jface.text.IWidgetTokenKeeper; // packageimport | |
| 139 import dwtx.jface.text.DocumentCommand; // packageimport | |
| 140 import dwtx.jface.text.TypedPosition; // packageimport | |
| 141 import dwtx.jface.text.IEditingSupportRegistry; // packageimport | |
| 142 import dwtx.jface.text.IDocumentPartitionerExtension; // packageimport | |
| 143 import dwtx.jface.text.AbstractHoverInformationControlManager; // packageimport | |
| 144 import dwtx.jface.text.IEditingSupport; // packageimport | |
| 145 import dwtx.jface.text.IMarkSelection; // packageimport | |
| 146 import dwtx.jface.text.ISlaveDocumentManager; // packageimport | |
| 147 import dwtx.jface.text.DocumentEvent; // packageimport | |
| 148 import dwtx.jface.text.DocumentPartitioningChangedEvent; // packageimport | |
| 149 import dwtx.jface.text.ITextStore; // packageimport | |
| 150 import dwtx.jface.text.JFaceTextMessages; // packageimport | |
| 151 import dwtx.jface.text.DocumentRewriteSessionEvent; // packageimport | |
| 152 import dwtx.jface.text.SequentialRewriteTextStore; // packageimport | |
| 153 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport | |
| 154 import dwtx.jface.text.TextAttribute; // packageimport | |
| 155 import dwtx.jface.text.ITextViewerExtension4; // packageimport | |
| 156 import dwtx.jface.text.ITypedRegion; // packageimport | |
| 157 | |
| 129 | 158 import dwt.dwthelper.utils; |
| 159 | |
| 160 | |
| 161 | |
| 162 | |
| 163 | |
| 164 import dwt.DWT; | |
| 165 import dwt.custom.StyledText; | |
| 166 import dwt.events.KeyEvent; | |
| 167 import dwt.events.KeyListener; | |
| 168 import dwt.events.MouseEvent; | |
| 169 import dwt.events.MouseListener; | |
| 170 import dwt.widgets.Display; | |
| 171 import dwt.widgets.Shell; | |
| 172 import dwtx.core.commands.ExecutionException; | |
| 173 import dwtx.core.commands.operations.IUndoContext; | |
| 174 import dwtx.jface.dialogs.MessageDialog; | |
| 175 import dwtx.text.undo.DocumentUndoEvent; | |
| 176 import dwtx.text.undo.DocumentUndoManager; | |
| 177 import dwtx.text.undo.DocumentUndoManagerRegistry; | |
| 178 import dwtx.text.undo.IDocumentUndoListener; | |
| 179 import dwtx.text.undo.IDocumentUndoManager; | |
| 180 | |
| 181 | |
| 182 /** | |
| 183 * Implementation of {@link dwtx.jface.text.IUndoManager} using the shared | |
| 184 * document undo manager. | |
| 185 * <p> | |
| 186 * It registers with the connected text viewer as text input listener, and obtains | |
| 187 * its undo manager from the current document. It also monitors mouse and keyboard | |
| 188 * activities in order to partition the stream of text changes into undo-able | |
| 189 * edit commands. | |
| 190 * <p> | |
| 191 * This class is not intended to be subclassed. | |
| 192 * </p> | |
| 156 | 193 * |
| 129 | 194 * @see ITextViewer |
| 195 * @see ITextInputListener | |
| 196 * @see IDocumentUndoManager | |
| 197 * @see MouseListener | |
| 198 * @see KeyListener | |
| 199 * @see DocumentUndoManager | |
| 156 | 200 * |
| 129 | 201 * @since 3.2 |
| 202 * @noextend This class is not intended to be subclassed by clients. | |
| 203 */ | |
| 204 public class TextViewerUndoManager : IUndoManager, IUndoManagerExtension { | |
| 205 | |
| 156 | 206 |
| 129 | 207 /** |
| 208 * Internal listener to mouse and key events. | |
| 209 */ | |
| 210 private class KeyAndMouseListener : MouseListener, KeyListener { | |
| 211 | |
| 212 /* | |
| 213 * @see MouseListener#mouseDoubleClick | |
| 214 */ | |
| 215 public void mouseDoubleClick(MouseEvent e) { | |
| 216 } | |
| 217 | |
| 218 /* | |
| 219 * If the right mouse button is pressed, the current editing command is closed | |
| 220 * @see MouseListener#mouseDown | |
| 221 */ | |
| 222 public void mouseDown(MouseEvent e) { | |
| 223 if (e.button is 1) | |
| 224 if (isConnected()) | |
| 225 fDocumentUndoManager.commit(); | |
| 226 } | |
| 227 | |
| 228 /* | |
| 229 * @see MouseListener#mouseUp | |
| 230 */ | |
| 231 public void mouseUp(MouseEvent e) { | |
| 232 } | |
| 233 | |
| 234 /* | |
| 235 * @see KeyListener#keyPressed | |
| 236 */ | |
| 237 public void keyReleased(KeyEvent e) { | |
| 238 } | |
| 239 | |
| 240 /* | |
| 241 * On cursor keys, the current editing command is closed | |
| 242 * @see KeyListener#keyPressed | |
| 243 */ | |
| 244 public void keyPressed(KeyEvent e) { | |
| 245 switch (e.keyCode) { | |
| 246 case DWT.ARROW_UP: | |
| 247 case DWT.ARROW_DOWN: | |
| 248 case DWT.ARROW_LEFT: | |
| 249 case DWT.ARROW_RIGHT: | |
| 250 if (isConnected()) { | |
| 251 fDocumentUndoManager.commit(); | |
| 252 } | |
| 253 break; | |
|
192
c3583c6ec027
Added missing default cases for switch statements
Frank Benoit <benoit@tionex.de>
parents:
162
diff
changeset
|
254 default: |
| 129 | 255 } |
| 256 } | |
| 257 } | |
| 258 | |
| 259 | |
| 260 /** | |
| 261 * Internal text input listener. | |
| 262 */ | |
| 263 private class TextInputListener : ITextInputListener { | |
| 264 | |
| 265 /* | |
| 266 * @see dwtx.jface.text.ITextInputListener#inputDocumentAboutToBeChanged(dwtx.jface.text.IDocument, dwtx.jface.text.IDocument) | |
| 267 */ | |
| 268 public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { | |
| 269 disconnectDocumentUndoManager(); | |
| 270 } | |
| 271 | |
| 272 /* | |
| 273 * @see dwtx.jface.text.ITextInputListener#inputDocumentChanged(dwtx.jface.text.IDocument, dwtx.jface.text.IDocument) | |
| 274 */ | |
| 275 public void inputDocumentChanged(IDocument oldInput, IDocument newInput) { | |
| 276 connectDocumentUndoManager(newInput); | |
| 277 } | |
| 278 } | |
| 279 | |
| 280 | |
| 281 /** | |
| 282 * Internal document undo listener. | |
| 283 */ | |
| 284 private class DocumentUndoListener : IDocumentUndoListener { | |
| 285 | |
| 286 /* | |
| 287 * @see dwtx.jface.text.IDocumentUndoListener#documentUndoNotification(DocumentUndoEvent) | |
| 288 */ | |
| 289 public void documentUndoNotification(DocumentUndoEvent event ){ | |
| 290 if (!isConnected()) return; | |
| 156 | 291 |
| 129 | 292 int eventType= event.getEventType(); |
| 293 if (((eventType & DocumentUndoEvent.ABOUT_TO_UNDO) !is 0) || ((eventType & DocumentUndoEvent.ABOUT_TO_REDO) !is 0)) { | |
| 294 if (event.isCompound()) { | |
| 295 ITextViewerExtension extension= null; | |
| 138 | 296 if ( cast(ITextViewerExtension)fTextViewer ) |
| 134 | 297 extension= cast(ITextViewerExtension) fTextViewer; |
| 129 | 298 |
| 299 if (extension !is null) | |
| 300 extension.setRedraw(false); | |
| 301 } | |
| 135 | 302 fTextViewer.getTextWidget().getDisplay().syncExec(new class() Runnable { |
| 129 | 303 public void run() { |
| 138 | 304 if ( cast(TextViewer)fTextViewer ) |
| 162 | 305 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies_package(true); |
| 129 | 306 } |
| 307 }); | |
| 156 | 308 |
| 129 | 309 } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0)) { |
| 135 | 310 fTextViewer.getTextWidget().getDisplay().syncExec(new class() Runnable { |
| 129 | 311 public void run() { |
| 138 | 312 if ( cast(TextViewer)fTextViewer ) |
| 162 | 313 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies_package(false); |
| 129 | 314 } |
| 315 }); | |
| 316 if (event.isCompound()) { | |
| 317 ITextViewerExtension extension= null; | |
| 138 | 318 if ( cast(ITextViewerExtension)fTextViewer ) |
| 134 | 319 extension= cast(ITextViewerExtension) fTextViewer; |
| 129 | 320 |
| 321 if (extension !is null) | |
| 322 extension.setRedraw(true); | |
| 323 } | |
| 156 | 324 |
| 129 | 325 // Reveal the change if this manager's viewer has the focus. |
| 326 if (fTextViewer !is null) { | |
| 327 StyledText widget= fTextViewer.getTextWidget(); | |
| 328 if (widget !is null && !widget.isDisposed() && (widget.isFocusControl()))// || fTextViewer.getTextWidget() is control)) | |
| 329 selectAndReveal(event.getOffset(), event.getText() is null ? 0 : event.getText().length()); | |
| 330 } | |
| 331 } | |
| 332 } | |
| 333 | |
| 334 } | |
| 335 | |
| 336 /** The internal key and mouse event listener */ | |
| 337 private KeyAndMouseListener fKeyAndMouseListener; | |
| 338 /** The internal text input listener */ | |
| 339 private TextInputListener fTextInputListener; | |
| 340 | |
| 341 | |
| 342 /** The text viewer the undo manager is connected to */ | |
| 343 private ITextViewer fTextViewer; | |
| 156 | 344 |
| 129 | 345 /** The undo level */ |
| 346 private int fUndoLevel; | |
| 156 | 347 |
| 129 | 348 /** The document undo manager that is active. */ |
| 349 private IDocumentUndoManager fDocumentUndoManager; | |
| 156 | 350 |
| 129 | 351 /** The document that is active. */ |
| 352 private IDocument fDocument; | |
| 156 | 353 |
| 129 | 354 /** The document undo listener */ |
| 355 private IDocumentUndoListener fDocumentUndoListener; | |
| 356 | |
| 357 /** | |
| 358 * Creates a new undo manager who remembers the specified number of edit commands. | |
| 359 * | |
| 360 * @param undoLevel the length of this manager's history | |
| 361 */ | |
|
133
7d818bd32d63
Fix ctors to this with gvim regexp
Frank Benoit <benoit@tionex.de>
parents:
131
diff
changeset
|
362 public this(int undoLevel) { |
| 129 | 363 fUndoLevel= undoLevel; |
| 364 } | |
| 365 | |
| 366 /** | |
| 367 * Returns whether this undo manager is connected to a text viewer. | |
| 368 * | |
| 369 * @return <code>true</code> if connected, <code>false</code> otherwise | |
| 370 */ | |
| 371 private bool isConnected() { | |
| 372 return fTextViewer !is null && fDocumentUndoManager !is null; | |
| 373 } | |
| 374 | |
| 375 /* | |
| 376 * @see IUndoManager#beginCompoundChange | |
| 377 */ | |
| 378 public void beginCompoundChange() { | |
| 379 if (isConnected()) { | |
| 380 fDocumentUndoManager.beginCompoundChange(); | |
| 381 } | |
| 382 } | |
| 383 | |
| 384 | |
| 385 /* | |
| 386 * @see IUndoManager#endCompoundChange | |
| 387 */ | |
| 388 public void endCompoundChange() { | |
| 389 if (isConnected()) { | |
| 390 fDocumentUndoManager.endCompoundChange(); | |
| 391 } | |
| 392 } | |
| 393 | |
| 394 /** | |
| 395 * Registers all necessary listeners with the text viewer. | |
| 396 */ | |
| 397 private void addListeners() { | |
| 398 StyledText text= fTextViewer.getTextWidget(); | |
| 399 if (text !is null) { | |
| 400 fKeyAndMouseListener= new KeyAndMouseListener(); | |
| 401 text.addMouseListener(fKeyAndMouseListener); | |
| 402 text.addKeyListener(fKeyAndMouseListener); | |
| 403 fTextInputListener= new TextInputListener(); | |
| 404 fTextViewer.addTextInputListener(fTextInputListener); | |
| 405 } | |
| 406 } | |
| 407 | |
| 408 /** | |
| 409 * Unregister all previously installed listeners from the text viewer. | |
| 410 */ | |
| 411 private void removeListeners() { | |
| 412 StyledText text= fTextViewer.getTextWidget(); | |
| 413 if (text !is null) { | |
| 414 if (fKeyAndMouseListener !is null) { | |
| 415 text.removeMouseListener(fKeyAndMouseListener); | |
| 416 text.removeKeyListener(fKeyAndMouseListener); | |
| 417 fKeyAndMouseListener= null; | |
| 418 } | |
| 419 if (fTextInputListener !is null) { | |
| 420 fTextViewer.removeTextInputListener(fTextInputListener); | |
| 421 fTextInputListener= null; | |
| 422 } | |
| 423 } | |
| 424 } | |
| 425 | |
| 426 /** | |
| 427 * Shows the given exception in an error dialog. | |
| 428 * | |
| 429 * @param title the dialog title | |
| 430 * @param ex the exception | |
| 431 */ | |
| 156 | 432 private void openErrorDialog(String title, Exception ex) { |
| 129 | 433 Shell shell= null; |
| 434 if (isConnected()) { | |
| 435 StyledText st= fTextViewer.getTextWidget(); | |
| 436 if (st !is null && !st.isDisposed()) | |
| 437 shell= st.getShell(); | |
| 438 } | |
| 439 if (Display.getCurrent() !is null) | |
| 162 | 440 MessageDialog.openError(shell, title, ex.msg/+getLocalizedMessage()+/); |
| 129 | 441 else { |
| 442 Display display; | |
| 156 | 443 Shell finalShell= shell; |
| 129 | 444 if (finalShell !is null) |
| 445 display= finalShell.getDisplay(); | |
| 446 else | |
| 447 display= Display.getDefault(); | |
| 156 | 448 display.syncExec(dgRunnable((Shell finalShell_, String title_, Exception ex_ ) { |
| 162 | 449 MessageDialog.openError(finalShell_, title_, ex_.msg/+getLocalizedMessage()+/); |
| 156 | 450 },finalShell, title, ex )); |
| 129 | 451 } |
| 452 } | |
| 453 | |
| 454 /* | |
| 455 * @see dwtx.jface.text.IUndoManager#setMaximalUndoLevel(int) | |
| 456 */ | |
| 457 public void setMaximalUndoLevel(int undoLevel) { | |
| 458 fUndoLevel= Math.max(0, undoLevel); | |
| 459 if (isConnected()) { | |
| 460 fDocumentUndoManager.setMaximalUndoLevel(fUndoLevel); | |
| 461 } | |
| 462 } | |
| 463 | |
| 464 /* | |
| 465 * @see dwtx.jface.text.IUndoManager#connect(dwtx.jface.text.ITextViewer) | |
| 466 */ | |
| 467 public void connect(ITextViewer textViewer) { | |
| 468 if (fTextViewer is null && textViewer !is null) { | |
| 469 fTextViewer= textViewer; | |
| 470 addListeners(); | |
| 471 } | |
| 472 IDocument doc= fTextViewer.getDocument(); | |
| 473 connectDocumentUndoManager(doc); | |
| 474 } | |
| 475 | |
| 476 /* | |
| 477 * @see dwtx.jface.text.IUndoManager#disconnect() | |
| 478 */ | |
| 479 public void disconnect() { | |
| 480 if (fTextViewer !is null) { | |
| 481 removeListeners(); | |
| 482 fTextViewer= null; | |
| 483 } | |
| 484 disconnectDocumentUndoManager(); | |
| 485 } | |
| 486 | |
| 487 /* | |
| 488 * @see dwtx.jface.text.IUndoManager#reset() | |
| 489 */ | |
| 490 public void reset() { | |
| 491 if (isConnected()) | |
| 492 fDocumentUndoManager.reset(); | |
| 156 | 493 |
| 129 | 494 } |
| 495 | |
| 496 /* | |
| 497 * @see dwtx.jface.text.IUndoManager#redoable() | |
| 498 */ | |
| 499 public bool redoable() { | |
| 500 if (isConnected()) | |
| 501 return fDocumentUndoManager.redoable(); | |
| 502 return false; | |
| 503 } | |
| 504 | |
| 505 /* | |
| 506 * @see dwtx.jface.text.IUndoManager#undoable() | |
| 507 */ | |
| 508 public bool undoable() { | |
| 509 if (isConnected()) | |
| 510 return fDocumentUndoManager.undoable(); | |
| 511 return false; | |
| 512 } | |
| 513 | |
| 514 /* | |
| 515 * @see dwtx.jface.text.IUndoManager#redo() | |
| 516 */ | |
| 517 public void redo() { | |
| 518 if (isConnected()) { | |
| 519 try { | |
| 520 fDocumentUndoManager.redo(); | |
| 521 } catch (ExecutionException ex) { | |
| 522 openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.redoFailed.title"), ex); //$NON-NLS-1$ | |
| 523 } | |
| 524 } | |
| 525 } | |
| 526 | |
| 527 /* | |
| 528 * @see dwtx.jface.text.IUndoManager#undo() | |
| 529 */ | |
| 530 public void undo() { | |
| 531 if (isConnected()) { | |
| 532 try { | |
| 533 fDocumentUndoManager.undo(); | |
| 534 } catch (ExecutionException ex) { | |
| 535 openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.undoFailed.title"), ex); //$NON-NLS-1$ | |
| 536 } | |
| 537 } | |
| 538 } | |
| 539 | |
| 540 /** | |
| 541 * Selects and reveals the specified range. | |
| 542 * | |
| 543 * @param offset the offset of the range | |
| 544 * @param length the length of the range | |
| 545 */ | |
| 546 private void selectAndReveal(int offset, int length) { | |
| 138 | 547 if ( cast(ITextViewerExtension5)fTextViewer ) { |
| 134 | 548 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer; |
| 129 | 549 extension.exposeModelRange(new Region(offset, length)); |
| 550 } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length)) | |
| 551 fTextViewer.resetVisibleRegion(); | |
| 552 | |
| 553 fTextViewer.setSelectedRange(offset, length); | |
| 554 fTextViewer.revealRange(offset, length); | |
| 555 } | |
| 556 | |
| 557 /* | |
| 558 * @see dwtx.jface.text.IUndoManagerExtension#getUndoContext() | |
| 559 */ | |
| 560 public IUndoContext getUndoContext() { | |
| 561 if (isConnected()) { | |
| 562 return fDocumentUndoManager.getUndoContext(); | |
| 563 } | |
| 564 return null; | |
| 565 } | |
| 156 | 566 |
| 129 | 567 private void connectDocumentUndoManager(IDocument document) { |
| 568 disconnectDocumentUndoManager(); | |
| 569 if (document !is null) { | |
| 570 fDocument= document; | |
| 571 DocumentUndoManagerRegistry.connect(fDocument); | |
| 572 fDocumentUndoManager= DocumentUndoManagerRegistry.getDocumentUndoManager(fDocument); | |
| 573 fDocumentUndoManager.connect(this); | |
| 574 setMaximalUndoLevel(fUndoLevel); | |
| 575 fDocumentUndoListener= new DocumentUndoListener(); | |
| 576 fDocumentUndoManager.addDocumentUndoListener(fDocumentUndoListener); | |
| 577 } | |
| 578 } | |
| 579 | |
| 580 private void disconnectDocumentUndoManager() { | |
| 581 if (fDocumentUndoManager !is null) { | |
| 582 fDocumentUndoManager.disconnect(this); | |
| 583 DocumentUndoManagerRegistry.disconnect(fDocument); | |
| 584 fDocumentUndoManager.removeDocumentUndoListener(fDocumentUndoListener); | |
| 585 fDocumentUndoListener= null; | |
| 586 fDocumentUndoManager= null; | |
| 587 } | |
| 588 } | |
| 589 } |