if (appProps.containsKey("defaultPrinter")) { if (getStringProperty("defaultPrinter").equals("Yes")) defaultPrinter = true; else defaultPrinter = false; }
   public void loadProps(Properties props) {      appProps = props;      loadColors();      if (appProps.containsKey("colSeparator")) {         if (getStringProperty("colSeparator").equals("Line"))            colSepLine = 0;         if (getStringProperty("colSeparator").equals("ShortLine"))            colSepLine = 1;         if (getStringProperty("colSeparator").equals("Dot"))            colSepLine = 2;      }      if (appProps.containsKey("showAttr")) {         if (getStringProperty("showAttr").equals("Hex"))            showHex = true;      }      if (appProps.containsKey("guiInterface")) {         if (getStringProperty("guiInterface").equals("Yes"))            guiInterface = true;         else            guiInterface = false;      }      if (appProps.containsKey("guiShowUnderline")) {         if (getStringProperty("guiShowUnderline").equals("Yes"))            guiShowUnderline = true;         else            guiShowUnderline = false;      }      if (appProps.containsKey("hotspots")) {         if (getStringProperty("hotspots").equals("Yes"))            hotSpots = true;         else            hotSpots = false;      }      if (appProps.containsKey("hsMore")) {         if (getStringProperty("hsMore").length() > 0) {            hsMore.setLength(0);            hsMore.append(getStringProperty("hsMore"));         }      }      if (appProps.containsKey("hsBottom")) {         if (getStringProperty("hsBottom").length() > 0) {            hsBottom.setLength(0);            hsBottom.append(getStringProperty("hsBottom"));         }      }      if (appProps.containsKey("colSeparator")) {         if (getStringProperty("colSeparator").equals("Line"))            colSepLine = 0;         if (getStringProperty("colSeparator").equals("ShortLine"))            colSepLine = 1;         if (getStringProperty("colSeparator").equals("Dot"))            colSepLine = 2;      }      if (appProps.containsKey("cursorSize")) {         if (getStringProperty("cursorSize").equals("Full"))            cursorSize = 2;         if (getStringProperty("cursorSize").equals("Half"))            cursorSize = 1;         if (getStringProperty("cursorSize").equals("Line"))            cursorSize = 0;      }      if (appProps.containsKey("crossHair")) {         if (getStringProperty("crossHair").equals("None"))            crossHair = 0;         if (getStringProperty("crossHair").equals("Horz"))            crossHair = 1;         if (getStringProperty("crossHair").equals("Vert"))            crossHair = 2;         if (getStringProperty("crossHair").equals("Both"))            crossHair = 3;      }      if (appProps.containsKey("fontScaleHeight")) {         sfh = getFloatProperty("fontScaleHeight");      }      if (appProps.containsKey("fontScaleWidth")) {         sfw = getFloatProperty("fontScaleWidth");      }      if (appProps.containsKey("fontPointSize")) {         ps132 = getFloatProperty("fontPointSize");      }      if (appProps.containsKey("cursorBottOffset")) {         cursorBottOffset = getIntProperty("cursorBottOffset");      }   }