Settings.java

public class Settings {
  public boolean bPreserve = true;
  public boolean bUnix = true;
  public boolean bClean = false;
  public int fontSize = 12;
  public boolean bWindowMax = false;
  public int WindowXSize = 800, WindowYSize = 600;
  public int WindowXPos = 0, WindowYPos = 0;
  public int tabSize = 2;
  public boolean bAutoIndent = false;
  public boolean bLineWrap = false;
  public static java.awt.Font fnt;
};