void setSize (int /*long*/ embedHandle, int width, int height) { width = DPIUtil.autoScaleUp(width); height = DPIUtil.autoScaleUp(height); OS.gtk_widget_set_size_request (embedHandle, width, height); }
void setSize (int /*long*/ embedHandle, int width, int height) { width = DPIUtil.autoScaleUp(width); height = DPIUtil.autoScaleUp(height); OS.gtk_widget_set_size_request (embedHandle, width, height); }
/** * Auto-scale up int dimensions if enabled for Drawable class. */ public static int autoScaleUp (Drawable drawable, int size) { if (drawable != null && !drawable.isAutoScalable ()) return size; return autoScaleUp (size); }
public static int[] autoScaleUp(Drawable drawable, int[] pointArray) { if (drawable != null && !drawable.isAutoScalable ()) return pointArray; return autoScaleUp (pointArray); }
/** * Returns a new scaled up Point if enabled for Drawable class. */ public static Point autoScaleUp (Drawable drawable, Point point) { if (drawable != null && !drawable.isAutoScalable ()) return point; return autoScaleUp (point); }
/** * Returns a new scaled up Point if enabled for Drawable class. */ public static Point autoScaleUp (Drawable drawable, Point point) { if (drawable != null && !drawable.isAutoScalable ()) return point; return autoScaleUp (point); }
/** * Returns a new scaled up Point if enabled for Drawable class. */ public static Point autoScaleUp (Drawable drawable, Point point) { if (drawable != null && !drawable.isAutoScalable ()) return point; return autoScaleUp (point); }
/** * Returns a new scaled up Rectangle if enabled for Drawable class. */ public static Rectangle autoScaleUp (Drawable drawable, Rectangle rect) { if (drawable != null && !drawable.isAutoScalable ()) return rect; return autoScaleUp (rect); }
/** * Auto-scale up int dimensions if enabled for Drawable class. */ public static int autoScaleUp (Drawable drawable, int size) { if (drawable != null && !drawable.isAutoScalable ()) return size; return autoScaleUp (size); }
/** * Returns a new scaled up Rectangle if enabled for Drawable class. */ public static Rectangle autoScaleUp (Drawable drawable, Rectangle rect) { if (drawable != null && !drawable.isAutoScalable ()) return rect; return autoScaleUp (rect); }
/** * Returns a new scaled up Rectangle if enabled for Drawable class. */ public static Rectangle autoScaleUp (Drawable drawable, Rectangle rect) { if (drawable != null && !drawable.isAutoScalable ()) return rect; return autoScaleUp (rect); }
@Override public void run () { if (parent.isDisposed()) return; final Rectangle clientArea = DPIUtil.autoScaleUp(parent.getClientArea()); // To Pixels EventQueue.invokeLater(new Runnable () { @Override public void run () { frame.setSize (clientArea.width, clientArea.height); frame.validate (); } }); } });
@Override public void run () { if (parent.isDisposed()) return; final Rectangle clientArea = DPIUtil.autoScaleUp(parent.getClientArea()); EventQueue.invokeLater(new Runnable () { @Override public void run () { frame.setSize (clientArea.width, clientArea.height); frame.validate (); } }); } });
RECT getRect() { Rectangle area = DPIUtil.autoScaleUp(getClientArea()); // To Pixels RECT rect = new RECT(); rect.left = area.x; rect.top = area.y; rect.right = area.x + area.width; rect.bottom = area.y + area.height; return rect; } private int GetWindowContext(int /*long*/ ppFrame, int /*long*/ ppDoc, int /*long*/ lprcPosRect, int /*long*/ lprcClipRect, int /*long*/ lpFrameInfo) {
Rectangle getLineBoundsInPixels(int lineIndex) { computeRuns(null); if (!(0 <= lineIndex && lineIndex < runs.length)) SWT.error(SWT.ERROR_INVALID_RANGE); int x = getLineIndent(lineIndex); int y = DPIUtil.autoScaleUp(lineY[lineIndex]); int width = lineWidth[lineIndex]; int height = DPIUtil.autoScaleUp(lineY[lineIndex + 1] - lineY[lineIndex] - lineSpacingInPoints); return new Rectangle (x, y, width, height); }
private int OnPosRectChange(int /*long*/ lprcPosRect) { Point size = DPIUtil.autoScaleUp(getSize()); // To Pixels setExtent(size.x, size.y); return COM.S_OK; } private void onPaint(Event e) {
void onResize (Event e) { Rectangle rect = DPIUtil.autoScaleUp(browser.getClientArea ()); if (WEBKIT2){ OS.gtk_widget_set_size_request (webView, rect.width, rect.height); } else { OS.gtk_widget_set_size_request (scrolledWindow, rect.width, rect.height); } }
int setFrame (int /*long*/ sender, int /*long*/ frame) { RECT rect = new RECT (); COM.MoveMemory (rect, frame, RECT.sizeof); /* convert to SWT system coordinates */ location = DPIUtil.autoScaleUp(browser.getDisplay ().map (browser, null, DPIUtil.autoScaleDown(new Point(rect.left, rect.top)))); // To Pixels int x = rect.right - rect.left; int y = rect.bottom - rect.top; if (y < 0 || x < 0 || (x == 0 && y == 0)) return COM.S_OK; size = new Point (x, y); return COM.S_OK; }
void onResize (Event e) { Rectangle rect = DPIUtil.autoScaleUp(browser.getClientArea ()); if (WEBKIT2){ OS.gtk_widget_set_size_request (webView, rect.width, rect.height); } else { OS.gtk_widget_set_size_request (scrolledWindow, rect.width, rect.height); } }
void setBounds() { Rectangle area = DPIUtil.autoScaleUp(frame.getClientArea()); // To Pixels setBounds(DPIUtil.autoScaleDown(borderWidths.left), DPIUtil.autoScaleDown(borderWidths.top), DPIUtil.autoScaleDown(area.width - borderWidths.left - borderWidths.right), DPIUtil.autoScaleDown(area.height - borderWidths.top - borderWidths.bottom)); setObjectRects(); } private void setExtent(int width, int height){