Point dpi_screen = Display.getCurrent().getDPI();
private void scalebyDPI(Composite comp) { Point p = comp.getDisplay().getDPI(); factorX = p.x/standardDPI; factorY = p.y/standardDPI; }
/** * @return */ private static float getDPI() { // XXX: cache the value? return Display.getCurrent().getDPI().x; }
public Font font (playn.core.Font font) { int style; switch (font.style) { case BOLD: style = SWT.BOLD; break; case ITALIC: style = SWT.ITALIC; break; case BOLD_ITALIC: style = SWT.BOLD | SWT.ITALIC; break; default: style = SWT.NORMAL; break; } int height = (int)Math.round(font.size * 72.0 / _display.getDPI().y); Font swt = new Font(_display, font.name, height, style); return swt; }
private void scalebyDPI(Composite comp) { Point p = comp.getDisplay().getDPI(); factorX = p.x/standardDPI; factorY = p.y/standardDPI; }
Point screenDPI = styledText.getDisplay().getDPI(); Point printerDPI = printer.getDPI(); resources = new Hashtable ();
Point screenDPI = styledText.getDisplay().getDPI(); Point printerDPI = printer.getDPI(); resources = new HashMap<> ();
Point screenDPI = styledText.getDisplay().getDPI(); Point printerDPI = printer.getDPI(); resources = new HashMap<> ();
Point screenDPI = styledText.getDisplay().getDPI(); Point printerDPI = printer.getDPI(); resources = new HashMap<> ();
Point screenDPI = styledText.getDisplay().getDPI(); Point printerDPI = printer.getDPI(); resources = new HashMap<> ();
Point dpi = Utils.getDisplay().getDPI(); swt += ", zoom=" + DPIUtil.getDeviceZoom() + ", dpi=" + (dpi.x == dpi.y ? dpi.x : dpi.x + "x" + dpi.y);
Point screenDPI = display.getDPI(); Point printerDPI = printer.getDPI(); int scaleFactor = printerDPI.x / screenDPI.x;
new SWTReplacedElementFactory(), new SWTTextRenderer(), getDisplay().getDPI().y); _sharedContext.setCanvas(this);
Point dpi = display.getDPI(); int fontHeight = 72 * 10 / dpi.y; FontData fd = parent.getFont().getFontData()[0];
Point dpi = display.getDPI(); int fontHeight = 72 * 10 / dpi.y; FontData fd = parent.getFont().getFontData()[0];
Point dpi = display.getDPI(); int fontHeight = 72 * 10 / dpi.y; FontData fd = parent.getFont().getFontData()[0];
Point dpi = display.getDPI(); int fontHeight = 72 * 10 / dpi.y; FontData fd = parent.getFont().getFontData()[0];
Point dpi = display.getDPI(); int fontHeight = 72 * 10 / dpi.y; FontData fd = parent.getFont().getFontData()[0];