comparison dwtx/jface/internal/text/revisions/RevisionSelectionProvider.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 75302ef3f92f
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
64 fPostProvider= postProvider; 64 fPostProvider= postProvider;
65 } 65 }
66 66
67 public void selectionChanged(SelectionChangedEvent event) { 67 public void selectionChanged(SelectionChangedEvent event) {
68 ISelection selection= event.getSelection(); 68 ISelection selection= event.getSelection();
69 if (selection instanceof ITextSelection) { 69 if ( cast(ITextSelection)selection ) {
70 ITextSelection ts= cast(ITextSelection) selection; 70 ITextSelection ts= cast(ITextSelection) selection;
71 int offset= ts.getOffset(); 71 int offset= ts.getOffset();
72 setSelectedRevision(fPainter.getRevision(offset)); 72 setSelectedRevision(fPainter.getRevision(offset));
73 } 73 }
74 74
137 * @see dwtx.jface.viewers.ISelectionProvider#setSelection(dwtx.jface.viewers.ISelection) 137 * @see dwtx.jface.viewers.ISelectionProvider#setSelection(dwtx.jface.viewers.ISelection)
138 */ 138 */
139 public void setSelection(ISelection selection) { 139 public void setSelection(ISelection selection) {
140 if (fIgnoreEvents) 140 if (fIgnoreEvents)
141 return; 141 return;
142 if (selection instanceof IStructuredSelection) { 142 if ( cast(IStructuredSelection)selection ) {
143 Object first= (cast(IStructuredSelection) selection).getFirstElement(); 143 Object first= (cast(IStructuredSelection) selection).getFirstElement();
144 if (first instanceof Revision) 144 if ( cast(Revision)first )
145 fPainter.handleRevisionSelected(cast(Revision) first); 145 fPainter.handleRevisionSelected(cast(Revision) first);
146 else if (first instanceof String) 146 else if ( cast(String)first )
147 fPainter.handleRevisionSelected(cast(String) first); 147 fPainter.handleRevisionSelected(cast(String) first);
148 else if (selection.isEmpty()) 148 else if (selection.isEmpty())
149 fPainter.handleRevisionSelected(cast(Revision) null); 149 fPainter.handleRevisionSelected(cast(Revision) null);
150 } 150 }
151 } 151 }
158 void install(ITextViewer viewer) { 158 void install(ITextViewer viewer) {
159 uninstall(); 159 uninstall();
160 fViewer= viewer; 160 fViewer= viewer;
161 if (fViewer !is null) { 161 if (fViewer !is null) {
162 ISelectionProvider provider= fViewer.getSelectionProvider(); 162 ISelectionProvider provider= fViewer.getSelectionProvider();
163 if (provider instanceof IPostSelectionProvider) { 163 if ( cast(IPostSelectionProvider)provider ) {
164 IPostSelectionProvider postProvider= cast(IPostSelectionProvider) provider; 164 IPostSelectionProvider postProvider= cast(IPostSelectionProvider) provider;
165 fSelectionListener= new PostSelectionListener(postProvider); 165 fSelectionListener= new PostSelectionListener(postProvider);
166 } 166 }
167 } 167 }
168 } 168 }