Mercurial > projects > dwt-addons

comparison dwtx/jface/text/TextViewerUndoManager.d @ 134:51e6e63f930e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
291 int eventType= event.getEventType(); 291 int eventType= event.getEventType();
292 if (((eventType & DocumentUndoEvent.ABOUT_TO_UNDO) !is 0) || ((eventType & DocumentUndoEvent.ABOUT_TO_REDO) !is 0)) { 292 if (((eventType & DocumentUndoEvent.ABOUT_TO_UNDO) !is 0) || ((eventType & DocumentUndoEvent.ABOUT_TO_REDO) !is 0)) {
293 if (event.isCompound()) { 293 if (event.isCompound()) {
294 ITextViewerExtension extension= null; 294 ITextViewerExtension extension= null;
295 if (fTextViewer instanceof ITextViewerExtension) 295 if (fTextViewer instanceof ITextViewerExtension)
296 extension= (ITextViewerExtension) fTextViewer; 296 extension= cast(ITextViewerExtension) fTextViewer;
297 297
298 if (extension !is null) 298 if (extension !is null)
299 extension.setRedraw(false); 299 extension.setRedraw(false);
300 } 300 }
301 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { 301 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() {
302 public void run() { 302 public void run() {
303 if (fTextViewer instanceof TextViewer) 303 if (fTextViewer instanceof TextViewer)
304 ((TextViewer)fTextViewer).ignoreAutoEditStrategies(true); 304 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true);
305 } 305 }
306 }); 306 });
307 307
308 } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0)) { 308 } else if (((eventType & DocumentUndoEvent.UNDONE) !is 0) || ((eventType & DocumentUndoEvent.REDONE) !is 0)) {
309 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() { 309 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() {
310 public void run() { 310 public void run() {
311 if (fTextViewer instanceof TextViewer) 311 if (fTextViewer instanceof TextViewer)
312 ((TextViewer)fTextViewer).ignoreAutoEditStrategies(false); 312 (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false);
313 } 313 }
314 }); 314 });
315 if (event.isCompound()) { 315 if (event.isCompound()) {
316 ITextViewerExtension extension= null; 316 ITextViewerExtension extension= null;
317 if (fTextViewer instanceof ITextViewerExtension) 317 if (fTextViewer instanceof ITextViewerExtension)
318 extension= (ITextViewerExtension) fTextViewer; 318 extension= cast(ITextViewerExtension) fTextViewer;
319 319
320 if (extension !is null) 320 if (extension !is null)
321 extension.setRedraw(true); 321 extension.setRedraw(true);
322 } 322 }
323 323
544 * @param offset the offset of the range 544 * @param offset the offset of the range
545 * @param length the length of the range 545 * @param length the length of the range
546 */ 546 */
547 private void selectAndReveal(int offset, int length) { 547 private void selectAndReveal(int offset, int length) {
548 if (fTextViewer instanceof ITextViewerExtension5) { 548 if (fTextViewer instanceof ITextViewerExtension5) {
549 ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; 549 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
550 extension.exposeModelRange(new Region(offset, length)); 550 extension.exposeModelRange(new Region(offset, length));
551 } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length)) 551 } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length))
552 fTextViewer.resetVisibleRegion(); 552 fTextViewer.resetVisibleRegion();
553 553
554 fTextViewer.setSelectedRange(offset, length); 554 fTextViewer.setSelectedRange(offset, length);