Exemplo n.º 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));
 }
Exemplo n.º 2
0
 /** Sets the tip of the day number. */
 public static void setTipOfTheDay(int num) {
   Env.setUserProperty(Env.TIP_NUM_STR, String.valueOf(num));
 }
Exemplo n.º 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);
 }
Exemplo n.º 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);
 }
Exemplo n.º 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));
 }
Exemplo n.º 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);
 }
Exemplo n.º 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));
 }
Exemplo n.º 8
0
 /** Enables/disables the showing of popup desciptions */
 public static void setPopUpDescriptions(boolean state) {
   Env.setUserProperty(Env.POPUP_DESC_STR, String.valueOf(state));
 }
Exemplo n.º 9
0
 /** Sets whether restore from last state at startup is set */
 public static void setRestoreLast(boolean state) {
   Env.setUserProperty("restoreLast", String.valueOf(state));
 }
Exemplo n.º 10
0
 /** Sets whether smooth cables is enabled */
 public static void setSmoothCables(boolean state) {
   Env.setUserProperty("smoothcables", String.valueOf(state));
 }
Exemplo n.º 11
0
 /** Sets whether auto connecting of tasks is enabled */
 public static void setAutoConnect(boolean state) {
   Env.setUserProperty("autoconnect", String.valueOf(state));
 }