font = new Font("dialoginput",Font.PLAIN,14); config.setProperty("font","dialoginput");
font = new Font("Courier New",Font.PLAIN,14); config.setProperty("font","Courier New");
   void jbInit() throws Exception {      if (!config.isPropertyExists("font")) {         font = new Font("dialoginput",Font.PLAIN,14);         config.setProperty("font","dialoginput");      }      else {         font = new Font(getStringProperty("font"),Font.PLAIN,14);      }      gui.setFont(font);      lastAttr = 32;      // default number of rows and columns      numRows = 24;      numCols = 80;      goto_XY(1,1);  // set initial cursor position      restriction = new Rectangle(0,0);      errorLineNum = numRows;      updateCursorLoc = false;      FontRenderContext frc = new FontRenderContext(font.getTransform(),true,true);      lm = font.getLineMetrics("Wy",frc);      fmWidth = (int)font.getStringBounds("W",frc).getWidth() + 1;      fmHeight = (int)(font.getStringBounds("g",frc).getHeight() +                     lm.getDescent() + lm.getLeading());      keyboardLocked = true;      checkOffScreenImage();      lenScreen = numRows * numCols;      screen = new ScreenChar[lenScreen];      for (int y = 0;y < lenScreen; y++) {         screen[y] = new ScreenChar(this);         screen[y].setCharAndAttr(' ',initAttr,false);         screen[y].setRowCol(getRow(y),getCol(y));      }      screenFields = new ScreenFields(this);      strokenizer = new KeyStrokenizer();   }