/** Get the help and show it in the view. If the view is already visible * perform the refresh of the view. * @param postRequest post the request instead of displaying the view * immediately. The <tt>ExtSettingsNames.COMPLETION_AUTO_POPUP_DELAY</tt> * setting stores the number of milliseconds before the view is displayed. * If the user presses a key until the delay expires nothing is shown. * This guarantees that the user which knows what to write will not be * annoyed with the unnecessary help. */ public void popup(boolean postRequest) { trace("ENTRY popup " + postRequest); // NOI18N popupImpl(postRequest); }
/** Get the help and show it in the view. If the view is already visible * perform the refresh of the view. * @param postRequest post the request instead of displaying the view * immediately. The <tt>ExtSettingsNames.COMPLETION_AUTO_POPUP_DELAY</tt> * setting stores the number of milliseconds before the view is displayed. * If the user presses a key until the delay expires nothing is shown. * This guarantees that the user which knows what to write will not be * annoyed with the unnecessary help. */ public void popup(boolean postRequest) { trace("ENTRY popup " + postRequest); // NOI18N popupImpl(postRequest); }
/** Set the visibility of the view. This method should * be used mainly for hiding the completion pane. If used * with visible set to true it calls the <tt>popup(false)</tt>. */ public void setPaneVisible(boolean visible) { trace("ENTRY setPaneVisible " + visible); // NOI18N if (visible) { if (extEditorUI.getComponent() != null) { popupImpl(false); } } else { if (pane != null) { cancelRequestImpl(); invalidateLastResult(); getJDCPopupPanel().setCompletionVisible(false); caretPos=-1; } } }
/** Set the visibility of the view. This method should * be used mainly for hiding the completion pane. If used * with visible set to true it calls the <tt>popup(false)</tt>. */ public void setPaneVisible(boolean visible) { trace("ENTRY setPaneVisible " + visible); // NOI18N if (visible) { if (extEditorUI.getComponent() != null) { popupImpl(false); } } else { if (pane != null) { cancelRequestImpl(); invalidateLastResult(); getJDCPopupPanel().setCompletionVisible(false); caretPos=-1; } } }