/** @return the initial commands set in the preferences */
@Override
public String getInitialCommands() {
String str = InteractiveConsolePrefs.getInitialInterpreterCmds();
if (additionalInitialComands != null) {
str += additionalInitialComands;
}
return str;
}
@Override
public boolean getFocusOnStart() {
return InteractiveConsolePrefs.getFocusConsoleOnStartup();
}