Mercurial > projects > dwt-addons
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 } |