return RutaIdeUIPlugin.getDefault().getPreferenceStore();
}
protected ScriptConsolePrompt makeInvitation() {
IPreferenceStore store = getPreferenceStore();
return new ScriptConsolePrompt(store.getString(RutaConsoleConstants.PREF_NEW_PROMPT),
store.getString(RutaConsoleConstants.PREF_CONTINUE_PROMPT));
}