public ModifyDialog(Shell parentShell, Profile profile, ProfileManager profileManager, ProfileStore profileStore, boolean newProfile, String dialogPreferencesKey, String lastSavePathKey) { super(parentShell); fProfileStore= profileStore; fLastSaveLoadPathKey= lastSavePathKey; fKeyPreferredWidth= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_WIDTH; fKeyPreferredHight= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_HEIGHT; fKeyPreferredX= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_X; fKeyPreferredY= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_Y; fKeyLastFocus= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_LAST_FOCUS; fProfileManager= profileManager; fNewProfile= newProfile; fProfile= profile; setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, profile.getName())); fWorkingValues= new HashMap<>(fProfile.getSettings()); setStatusLineAboveButtons(false); fTabPages= new ArrayList<>(); fDialogSettings= JavaPlugin.getDefault().getDialogSettings(); }
protected void buttonPressed(int buttonId) { if (buttonId == APPLAY_BUTTON_ID) { applyPressed(); setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, fProfile.getName())); } else if (buttonId == SAVE_BUTTON_ID) { saveButtonPressed(); } else { super.buttonPressed(buttonId); } }
@Override protected void buttonPressed(int buttonId) { if (buttonId == APPLAY_BUTTON_ID) { applyPressed(); setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, fProfile.getName())); } else if (buttonId == SAVE_BUTTON_ID) { saveButtonPressed(); } else { super.buttonPressed(buttonId); } }
@Override protected void buttonPressed(int buttonId) { if (buttonId == APPLAY_BUTTON_ID) { applyPressed(); setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, fProfile.getName())); } else if (buttonId == SAVE_BUTTON_ID) { saveButtonPressed(); } else { super.buttonPressed(buttonId); } }
public ModifyDialog(Shell parentShell, Profile profile, ProfileManager profileManager, ProfileStore profileStore, boolean newProfile, String dialogPreferencesKey, String lastSavePathKey) { super(parentShell); fProfileStore= profileStore; fLastSaveLoadPathKey= lastSavePathKey; fKeyPreferredWidth= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_WIDTH; fKeyPreferredHight= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_HEIGHT; fKeyPreferredX= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_X; fKeyPreferredY= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_Y; fKeyLastFocus= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_LAST_FOCUS; fProfileManager= profileManager; fNewProfile= newProfile; setShellStyle(getShellStyle() | SWT.RESIZE | SWT.MAX ); fProfile= profile; setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, profile.getName())); fWorkingValues= new HashMap(fProfile.getSettings()); setStatusLineAboveButtons(false); fTabPages= new ArrayList(); fDialogSettings= JavaPlugin.getDefault().getDialogSettings(); }
public ModifyDialog(Shell parentShell, Profile profile, ProfileManager profileManager, ProfileStore profileStore, boolean newProfile, String dialogPreferencesKey, String lastSavePathKey) { super(parentShell); fProfileStore= profileStore; fLastSaveLoadPathKey= lastSavePathKey; fKeyPreferredWidth= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_WIDTH; fKeyPreferredHight= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_HEIGHT; fKeyPreferredX= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_X; fKeyPreferredY= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERRED_Y; fKeySashFormLeftWidth= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_SASH_FORM_LEFT_WIDTH; fKeySashFormRightWidth= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_SASH_FORM_RIGHT_WIDTH; fKeyPreferenceTreeExpansion= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERENCE_TREE_EXPANSION; fKeyPreferenceScrollPosition= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_PREFERENCE_SCROLL_POSITION; fKeyLastFocusIndex= JavaUI.ID_PLUGIN + dialogPreferencesKey + DS_KEY_LAST_FOCUS_INDEX; fProfileManager= profileManager; fNewProfile= newProfile; fProfile= profile; setTitle(Messages.format(FormatterMessages.ModifyDialog_dialog_title, profile.getName())); fWorkingValues= new HashMap<>(fProfile.getSettings()); setStatusLineAboveButtons(false); fDialogSettings= JavaPlugin.getDefault().getDialogSettings(); fImages= new Images(parentShell); }