/** * Hides context selector and context information popup. */ public void hide() { hideContextSelector(); hideContextInfoPopup(); }
/** * Processes a key stroke in the context selector. * * @param e the verify event describing the key stroke */ private void contextSelectorProcessEvent(VerifyEvent e) { if (e.start == e.end && e.text != null && e.text.equals(fLineDelimiter)) { e.doit= false; insertSelectedContext(); } hideContextSelector(); }
/** * Processes a key stroke in the context selector. * * @param e the verify event describing the key stroke */ private void contextSelectorProcessEvent(VerifyEvent e) { if (e.start == e.end && e.text != null && e.text.equals(fLineDelimiter)) { e.doit= false; insertSelectedContext(); } hideContextSelector(); }
/** * Hides context selector and context information popup. */ public void hide() { hideContextSelector(); hideContextInfoPopup(); }
/** * Displays the given context information for the given offset. * * @param info the context information * @param position the offset * @since 2.0 */ public void showContextInformation(final IContextInformation info, final int position) { Control control= fViewer.getTextWidget(); BusyIndicator.showWhile(control.getDisplay(), () -> { internalShowContextInfo(info, position); hideContextSelector(); }); }
hideContextSelector(); return true; } else if (key == SWT.ESC) { e.doit= false; hideContextSelector();
hideContextSelector(); return true; } else if (key == SWT.ESC) { e.doit= false; hideContextSelector();