Mercurial > projects > dwt-addons

comparison dwtx/jface/text/source/projection/ProjectionViewer.d @ 158:25f1f92fa3df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Frank Benoit <benoit@tionex.de>
date Tue, 26 Aug 2008 02:46:34 +0200
parents f70d9508c95c
children 7926b636c282
comparison
equal deleted inserted replaced
157:7f75eaa8103a 158:25f1f92fa3df
896 /** 896 /**
897 * Posts the request for catch up with the annotation model into the UI thread. 897 * Posts the request for catch up with the annotation model into the UI thread.
898 * 898 *
899 * @param event the annotation model event 899 * @param event the annotation model event
900 */ 900 */
901 protected final void postCatchupRequest(final AnnotationModelEvent event) { 901 protected final void postCatchupRequest(AnnotationModelEvent event) {
902 synchronized (fLock) { 902 synchronized (fLock) {
903 fPendingRequests.add(event); 903 fPendingRequests.add(event);
904 if (fPendingRequests.size() is 1) { 904 if (fPendingRequests.size() is 1) {
905 StyledText widget= getTextWidget(); 905 StyledText widget= getTextWidget();
906 if (widget !is null) { 906 if (widget !is null) {
1715 ProjectionAnnotation annotation= cast(ProjectionAnnotation) e.next(); 1715 ProjectionAnnotation annotation= cast(ProjectionAnnotation) e.next();
1716 Position position= fProjectionAnnotationModel.getPosition(annotation); 1716 Position position= fProjectionAnnotationModel.getPosition(annotation);
1717 if (position !is null && position.overlapsWith(modelSelection.getOffset(), modelSelection.getLength()) && modelRange2WidgetRange(position) !is null) 1717 if (position !is null && position.overlapsWith(modelSelection.getOffset(), modelSelection.getLength()) && modelRange2WidgetRange(position) !is null)
1718 positions.add(position); 1718 positions.add(position);
1719 } 1719 }
1720 return (Position[]) positions.toArray(new Position[positions.size()]); 1720 return arraycast!(Position)( positions.toArray());
1721 } 1721 }
1722 1722
1723 /* 1723 /*
1724 * @see dwtx.jface.text.TextViewer#getFindReplaceDocumentAdapter() 1724 * @see dwtx.jface.text.TextViewer#getFindReplaceDocumentAdapter()
1725 */ 1725 */