/** @return whether or not to show extended tool tips */
public static boolean showNodeEditIcons() {
String icons = (String) Env.getUserProperty(Env.NODE_EDIT_ICONS);
if (icons == null) {
setNodeEditIcons(true);
return true;
}
return (new Boolean(icons)).booleanValue();
}
/** Gets the tip of the day dialof off or on. */
public static boolean getTipOfTheDay() {
String tip = (String) Env.getUserProperty(Env.TIP_STR);
if (tip == null) {
setTipOfTheDay(true);
return true;
}
return (new Boolean(tip)).booleanValue();
}
/** @return whether or not to show extended tool tips */
public static boolean showExtendedDescriptions() {
String extended = (String) Env.getUserProperty(Env.EXTENDED_POPUP);
if (extended == null) {
setExtendedDescriptions(false);
return false;
}
return (new Boolean(extended)).booleanValue();
}
/** @return the state of popup desciptions */
public static boolean showPopUpDescriptions() {
String popup = (String) Env.getUserProperty(Env.POPUP_DESC_STR);
if (popup == null) {
setPopUpDescriptions(true);
return true;
}
return (new Boolean(popup)).booleanValue();
}
/** @return whether restore from last state at startup is set, defaults to false */
public static boolean restoreLast() {
String state = (String) Env.getUserProperty("restoreLast");
if (state == null) {
setRestoreLast(false);
return false;
} else {
return (new Boolean(state)).booleanValue();
}
}
/** @return whether cables are smooth */
public static boolean isSmoothCables() {
String state = (String) Env.getUserProperty("smoothcables");
if (state == null) {
setAutoConnect(true);
return true;
} else {
return (new Boolean(state)).booleanValue();
}
}
/** @return true if auto connecting of tasks is enabled */
public static boolean isAutoConnect() {
String state = (String) Env.getUserProperty("autoconnect");
if (state == null) {
setAutoConnect(false);
return false;
} else {
return (new Boolean(state)).booleanValue();
}
}
/** @return the color table map. */
public static Hashtable getColorTable() {
return (Hashtable) Env.getUserProperty(Env.COLOR_TABLE_STR);
}
/** @return the HTML viewer command i.e. the editor chosen by the user */
public static String getHTMLViewerCommand() {
return (String) Env.getUserProperty(Env.HELP_VIEWER_STR);
}
/** @return the HTML editor command i.e. the editor chosen by the user */
public static String getHTMLEditorCommand() {
return (String) Env.getUserProperty(Env.HELP_EDITOR_STR);
}
/** @return the java editor command i.e. the editor chosen by the user */
public static String getJavaEditorCommand() {
return (String) Env.getUserProperty(Env.CODE_EDITOR_STR);
}
