Beispiel #1
0
 /** 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));
 }
Beispiel #2
0
 /** Sets the tip of the day number. */
 public static void setTipOfTheDay(int num) {
   Env.setUserProperty(Env.TIP_NUM_STR, String.valueOf(num));
 }
Beispiel #3
0
 /** 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);
 }
Beispiel #4
0
 /** 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);
 }
Beispiel #5
0
 /** Set whether or not to display extended tool tips. */
 public static void setNodeEditIcons(boolean state) {
   Env.setUserProperty(Env.NODE_EDIT_ICONS, String.valueOf(state));
 }
Beispiel #6
0
 /** 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);
 }
Beispiel #7
0
 /** Set whether or not to display extended tool tips. */
 public static void setExtendedDescriptions(boolean state) {
   Env.setUserProperty(Env.EXTENDED_POPUP, String.valueOf(state));
 }
Beispiel #8
0
 /** Enables/disables the showing of popup desciptions */
 public static void setPopUpDescriptions(boolean state) {
   Env.setUserProperty(Env.POPUP_DESC_STR, String.valueOf(state));
 }
Beispiel #9
0
 /** Sets whether restore from last state at startup is set */
 public static void setRestoreLast(boolean state) {
   Env.setUserProperty("restoreLast", String.valueOf(state));
 }
Beispiel #10
0
 /** Sets whether smooth cables is enabled */
 public static void setSmoothCables(boolean state) {
   Env.setUserProperty("smoothcables", String.valueOf(state));
 }
Beispiel #11
0
 /** Sets whether auto connecting of tasks is enabled */
 public static void setAutoConnect(boolean state) {
   Env.setUserProperty("autoconnect", String.valueOf(state));
 }