/** @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); }