public void settingsChange(SettingsChangeEvent evt) { if (ExtSettingsNames.JAVADOC_BG_COLOR.equals(evt.getSettingName())){ getJavaDocView().setBGColor(getJavaDocBGColor()); } if (ExtSettingsNames.JAVADOC_AUTO_POPUP_DELAY.equals(evt.getSettingName())){ javaDocDelay = getJavaDocDelay(); } if (ExtSettingsNames.JAVADOC_AUTO_POPUP.equals(evt.getSettingName())){ javaDocAutoPopup = getJavaDocAutoPopup(); } }
public void settingsChange(SettingsChangeEvent evt) { if (ExtSettingsNames.JAVADOC_BG_COLOR.equals(evt.getSettingName())){ getJavaDocView().setBGColor(getJavaDocBGColor()); } if (ExtSettingsNames.JAVADOC_AUTO_POPUP_DELAY.equals(evt.getSettingName())){ javaDocDelay = getJavaDocDelay(); } if (ExtSettingsNames.JAVADOC_AUTO_POPUP.equals(evt.getSettingName())){ javaDocAutoPopup = getJavaDocAutoPopup(); } }
javaDocAutoPopup = getJavaDocAutoPopup();