/** Sets the tip of the day dialof to off or on. */
public static void setTipOfTheDay(boolean state) {
Env.setUserProperty(Env.TIP_STR, String.valueOf(state));
}
/** Sets the tip of the day number. */
public static void setTipOfTheDay(int num) {
Env.setUserProperty(Env.TIP_NUM_STR, String.valueOf(num));
}
/** sets the HTML editor command i.e. the editor chosen by the user */
public static void setHTMLEditorCommand(String cmd) {
Env.setUserProperty(Env.HELP_EDITOR_STR, cmd);
}
/** sets the HTML viewer command i.e. the editor chosen by the user */
public static void setHTMLViewerCommand(String cmd) {
Env.setUserProperty(Env.HELP_VIEWER_STR, cmd);
}
/** Set whether or not to display extended tool tips. */
public static void setNodeEditIcons(boolean state) {
Env.setUserProperty(Env.NODE_EDIT_ICONS, String.valueOf(state));
}
/** sets the java editor command i.e. the editor chosen by the user */
public static void setJavaEditorCommand(String cmd) {
Env.setUserProperty(Env.CODE_EDITOR_STR, cmd);
}
/** Set whether or not to display extended tool tips. */
public static void setExtendedDescriptions(boolean state) {
Env.setUserProperty(Env.EXTENDED_POPUP, String.valueOf(state));
}
/** Enables/disables the showing of popup desciptions */
public static void setPopUpDescriptions(boolean state) {
Env.setUserProperty(Env.POPUP_DESC_STR, String.valueOf(state));
}
/** Sets whether restore from last state at startup is set */
public static void setRestoreLast(boolean state) {
Env.setUserProperty("restoreLast", String.valueOf(state));
}
/** Sets whether smooth cables is enabled */
public static void setSmoothCables(boolean state) {
Env.setUserProperty("smoothcables", String.valueOf(state));
}
/** Sets whether auto connecting of tasks is enabled */
public static void setAutoConnect(boolean state) {
Env.setUserProperty("autoconnect", String.valueOf(state));
}