viewSize = displayViewSizeDialog(viewSize);
int newViewSize = displayViewSizeDialog(viewSize); if (newViewSize == -2) return; viewSize = newViewSize;
  private void viewSizeMenuItem_actionPerformed() {    viewSize = displayViewSizeDialog(viewSize);    Enumeration textPanes = nodePanes.elements();    while (textPanes.hasMoreElements()) {      JTextPane textPane = (JTextPane)textPanes.nextElement();      ((ConsoleStyledDocument)textPane.getStyledDocument()).setBufferSize(viewSize);    }  }