5960616263646566676869
this.driver = driver; /* For new devices, have to check the device's idea of its size * in case there has been a resize. */ Dimension inchesPerPixel = driver.getInchesPerPixel(); // // // dp->fig[0] = 0.0;
87888990919293949596
double lineHeight = driver.getCharacterSize().getHeight() * scale * parameters.getCexBase() * parameters.getMex(); return new Dimension( lineHeight * driver.getInchesPerPixel().getAspectRatio(), lineHeight); }
949596979899100101
lineHeight); } public Dimension getDefaultCharacterSize() { return new Dimension( driver.getCharacterSize().getWidth() * scale, driver.getCharacterSize().getHeight() * scale); }
18192021222324
this.size = size; } public GraphicsDeviceDriverStub(int widthPixels, int heightPixels) { deviceRegion = new Rectangle(0, widthPixels, 0, heightPixels); size = new Dimension(widthPixels / 72d, heightPixels / 72d); }
2324252627282930
size = new Dimension(widthPixels / 72d, heightPixels / 72d); } @Override public Dimension getInchesPerPixel() { return new Dimension(size.getWidth() / deviceRegion.getWidth(), size.getHeight() / deviceRegion.getHeight()); }
29303132333435
size.getHeight() / deviceRegion.getHeight()); } @Override public Dimension getCharacterSize() { return new Dimension(10.8, 14.4); }
68697071727374
size.getHeight() / bounds.getHeight()); } @Override public Dimension getCharacterSize() { return new Dimension(10.8, 14.4); }