Unusual GTK3 widget dimensions

[daemonblade]

The interface looks ugly

• buttons appear squashed
• some positional triangles are a few pixels too high
• text input boxes are too tall
• text areas are short
• unhighlighted current focus has a box around it.

[huanghwh]

On HiDPI 200% scale, I had to add these two patches: --- org/eclipse/swt/graphics/Image.java.orig 2022-06-12 01:50:34 UTC +++ org/eclipse/swt/graphics/Image.java @@ -1246,7 +1246,7 @@ void init(int width, int height) { if (surface == 0) SWT.error(SWT.ERROR_NO_HANDLES); // When we create a blank image we need to set it to 100 in GTK3 as we draw using 100% scale. // Cairo will take care of scaling for us when image needs to be scaled.

• if (DPIUtil.useCairoAutoScale()) {
• if (false) { currentDeviceZoom = 100; Cairo.cairo_surface_set_device_scale(surface, 1f, 1f); } else { --- org/eclipse/swt/widgets/Shell.java.orig 2021-09-06 01:22:24 UTC +++ org/eclipse/swt/widgets/Shell.java @@ -1507,6 +1507,8 @@ long gtk_button_press_event (long widget, long event) long gtk_configure_event (long widget, long event) { int [] x = new int [1], y = new int [1]; GTK3.gtk_window_get_position (shellHandle, x, y);
• int scale = GTK.gtk_widget_get_scale_factor (shellHandle);

• x[0] /= scale; y[0] /= scale;

  if (!isVisible ()) { return 0; //We shouldn't handle move/resize events if shell is hidden. @@ -3351,6 +3353,8 @@ Rectangle getBoundsInPixels () { // TODO: GTK4 GtkWindow no longer has the ability to get position } else { GTK3.gtk_window_get_position (shellHandle, x, y);

• int scale = GTK.gtk_widget_get_scale_factor (shellHandle);
• x[0] /= scale; y[0] /= scale; } } else { if (GTK.GTK4) {

First patch fixed black area and vertical bar in GUI of pom.xml editor; second patch fixed popup javadoc help on right location when mouse point on the class;