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();