Mercurial > projects > dwt-addons
comparison dwtx/jface/text/contentassist/PopupCloser.d @ 134:51e6e63f930e
Regex fix for casts
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 01:46:20 +0200 |
parents | c4fb132a086c |
children | 65801ad2b265 |
comparison
equal
deleted
inserted
replaced
133:7d818bd32d63 | 134:51e6e63f930e |
---|---|
237 fAdditionalInfoController.hideInformationControl(); | 237 fAdditionalInfoController.hideInformationControl(); |
238 else if (!fAdditionalInfoController.getInternalAccessor().isReplaceInProgress()) { | 238 else if (!fAdditionalInfoController.getInternalAccessor().isReplaceInProgress()) { |
239 IInformationControl infoControl= fAdditionalInfoController.getCurrentInformationControl2(); | 239 IInformationControl infoControl= fAdditionalInfoController.getCurrentInformationControl2(); |
240 // During isReplaceInProgress(), events can come from the replacing information control | 240 // During isReplaceInProgress(), events can come from the replacing information control |
241 if (event.widget instanceof Control && infoControl instanceof IInformationControlExtension5) { | 241 if (event.widget instanceof Control && infoControl instanceof IInformationControlExtension5) { |
242 Control control= (Control) event.widget; | 242 Control control= cast(Control) event.widget; |
243 IInformationControlExtension5 iControl5= (IInformationControlExtension5) infoControl; | 243 IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl; |
244 if (!(iControl5.containsControl(control))) | 244 if (!(iControl5.containsControl(control))) |
245 fAdditionalInfoController.hideInformationControl(); | 245 fAdditionalInfoController.hideInformationControl(); |
246 else if (event.type is DWT.MouseWheel) | 246 else if (event.type is DWT.MouseWheel) |
247 fAdditionalInfoController.getInternalAccessor().replaceInformationControl(false); | 247 fAdditionalInfoController.getInternalAccessor().replaceInformationControl(false); |
248 } else if (infoControl !is null && infoControl.isFocusControl()) { | 248 } else if (infoControl !is null && infoControl.isFocusControl()) { |
253 | 253 |
254 case DWT.MouseUp: | 254 case DWT.MouseUp: |
255 if (fAdditionalInfoController is null || fAdditionalInfoController.getInternalAccessor().isReplaceInProgress()) | 255 if (fAdditionalInfoController is null || fAdditionalInfoController.getInternalAccessor().isReplaceInProgress()) |
256 break; | 256 break; |
257 if (event.widget instanceof Control) { | 257 if (event.widget instanceof Control) { |
258 Control control= (Control) event.widget; | 258 Control control= cast(Control) event.widget; |
259 IInformationControl infoControl= fAdditionalInfoController.getCurrentInformationControl2(); | 259 IInformationControl infoControl= fAdditionalInfoController.getCurrentInformationControl2(); |
260 if (infoControl instanceof IInformationControlExtension5) { | 260 if (infoControl instanceof IInformationControlExtension5) { |
261 final IInformationControlExtension5 iControl5= (IInformationControlExtension5) infoControl; | 261 final IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) infoControl; |
262 if (iControl5.containsControl(control)) { | 262 if (iControl5.containsControl(control)) { |
263 if (infoControl instanceof IDelayedInputChangeProvider) { | 263 if (infoControl instanceof IDelayedInputChangeProvider) { |
264 final IDelayedInputChangeProvider delayedICP= (IDelayedInputChangeProvider) infoControl; | 264 final IDelayedInputChangeProvider delayedICP= cast(IDelayedInputChangeProvider) infoControl; |
265 final IInputChangedListener inputChangeListener= new DelayedInputChangeListener(delayedICP, fAdditionalInfoController.getInternalAccessor().getInformationControlReplacer()); | 265 final IInputChangedListener inputChangeListener= new DelayedInputChangeListener(delayedICP, fAdditionalInfoController.getInternalAccessor().getInformationControlReplacer()); |
266 delayedICP.setDelayedInputChangeListener(inputChangeListener); | 266 delayedICP.setDelayedInputChangeListener(inputChangeListener); |
267 // cancel automatic input updating after a small timeout: | 267 // cancel automatic input updating after a small timeout: |
268 control.getShell().getDisplay().timerExec(1000, new Runnable() { | 268 control.getShell().getDisplay().timerExec(1000, new Runnable() { |
269 public void run() { | 269 public void run() { |
288 break; | 288 break; |
289 InformationControlReplacer replacer= fAdditionalInfoController.getInternalAccessor().getInformationControlReplacer(); | 289 InformationControlReplacer replacer= fAdditionalInfoController.getInternalAccessor().getInformationControlReplacer(); |
290 if (replacer !is null && fContentAssistant !is null) { | 290 if (replacer !is null && fContentAssistant !is null) { |
291 IInformationControl iControl= replacer.getCurrentInformationControl2(); | 291 IInformationControl iControl= replacer.getCurrentInformationControl2(); |
292 if (event.widget instanceof Control && iControl instanceof IInformationControlExtension5) { | 292 if (event.widget instanceof Control && iControl instanceof IInformationControlExtension5) { |
293 Control control= (Control) event.widget; | 293 Control control= cast(Control) event.widget; |
294 IInformationControlExtension5 iControl5= (IInformationControlExtension5) iControl; | 294 IInformationControlExtension5 iControl5= cast(IInformationControlExtension5) iControl; |
295 if (iControl5.containsControl(control)) { | 295 if (iControl5.containsControl(control)) { |
296 control.getDisplay().asyncExec(new Runnable() { | 296 control.getDisplay().asyncExec(new Runnable() { |
297 public void run() { | 297 public void run() { |
298 if (fContentAssistant !is null && ! fContentAssistant.hasProposalPopupFocus()) | 298 if (fContentAssistant !is null && ! fContentAssistant.hasProposalPopupFocus()) |
299 fContentAssistant.hide(); | 299 fContentAssistant.hide(); |