Mercurial > projects > dwt-addons

comparison dwtx/jface/internal/text/revisions/RevisionSelectionProvider.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 b6bad70d540a
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
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 (selection instanceof ITextSelection) {
70 ITextSelection ts= (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
75 } 75 }
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 (selection instanceof IStructuredSelection) {
143 Object first= ((IStructuredSelection) selection).getFirstElement(); 143 Object first= (cast(IStructuredSelection) selection).getFirstElement();
144 if (first instanceof Revision) 144 if (first instanceof Revision)
145 fPainter.handleRevisionSelected((Revision) first); 145 fPainter.handleRevisionSelected(cast(Revision) first);
146 else if (first instanceof String) 146 else if (first instanceof String)
147 fPainter.handleRevisionSelected((String) first); 147 fPainter.handleRevisionSelected(cast(String) first);
148 else if (selection.isEmpty()) 148 else if (selection.isEmpty())
149 fPainter.handleRevisionSelected((Revision) null); 149 fPainter.handleRevisionSelected(cast(Revision) null);
150 } 150 }
151 } 151 }
152 152
153 /** 153 /**
154 * Installs the selection provider on the viewer. 154 * Installs the selection provider on the 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 (provider instanceof IPostSelectionProvider) {
164 IPostSelectionProvider postProvider= (IPostSelectionProvider) provider; 164 IPostSelectionProvider postProvider= cast(IPostSelectionProvider) provider;
165 fSelectionListener= new PostSelectionListener(postProvider); 165 fSelectionListener= new PostSelectionListener(postProvider);
166 } 166 }
167 } 167 }
168 } 168 }
169 169
205 ISelection selection= getSelection(); 205 ISelection selection= getSelection();
206 SelectionChangedEvent event= new SelectionChangedEvent(this, selection); 206 SelectionChangedEvent event= new SelectionChangedEvent(this, selection);
207 207
208 Object[] listeners= fListeners.getListeners(); 208 Object[] listeners= fListeners.getListeners();
209 for (int i= 0; i < listeners.length; i++) 209 for (int i= 0; i < listeners.length; i++)
210 ((ISelectionChangedListener) listeners[i]).selectionChanged(event); 210 (cast(ISelectionChangedListener) listeners[i]).selectionChanged(event);
211 } finally { 211 } finally {
212 fIgnoreEvents= false; 212 fIgnoreEvents= false;
213 } 213 }
214 } 214 }
215 } 215 }