Exemple #1
0
 /** @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();
 }
Exemple #2
0
 /** 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();
 }
Exemple #3
0
 /** @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();
 }
Exemple #4
0
 /** @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();
 }
Exemple #5
0
 /** @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();
   }
 }
Exemple #6
0
 /** @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();
   }
 }
Exemple #7
0
 /** @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();
   }
 }
Exemple #8
0
 /** @return the color table map. */
 public static Hashtable getColorTable() {
   return (Hashtable) Env.getUserProperty(Env.COLOR_TABLE_STR);
 }
Exemple #9
0
 /** @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);
 }
Exemple #10
0
 /** @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);
 }
Exemple #11
0
 /** @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);
 }