/** Gets the startup directory for a shell. */
public static final String getStartupDirectory() {
String startupDirectory;
if (ShellPlugin.getDefault()
.getPreferenceStore()
.getBoolean(ShellID.USE_WORKSPACE_AS_STARTUP_DIRECTORY_STRING_KEY)) {
startupDirectory = Platform.getInstanceLocation().getURL().getFile();
} else {
startupDirectory =
ShellPlugin.getDefault()
.getPreferenceStore()
.getString(ShellID.CUSTOM_STARTUP_DIRECTORY_STRING_KEY);
}
return startupDirectory;
}
/** Gets the <code>IShellDescriptor</code> for the id selected in the preferences. */
public static final IShellDescriptor getActiveShellDescriptor() {
String shellDescriptorId =
ShellPlugin.getDefault()
.getPreferenceStore()
.getString(ShellID.SHELL_DESCRIPTOR_ID_STRING_KEY);
return IShellDescriptor.Manager.getShellDescriptor(shellDescriptorId);
}
