@@ -1878,7 +1878,7 @@ long gtk_size_allocate (long widget, long allocation) {
18781878 long header = GTK4 .gtk_window_get_titlebar (shellHandle );
18791879 int [] headerNaturalHeight = new int [1 ];
18801880 if (header != 0 ) {
1881- GTK4 .gtk_widget_measure (header , GTK .GTK_ORIENTATION_VERTICAL , 0 , null , headerNaturalHeight , null , null );
1881+ GTK4 .gtk_widget_measure (header , GTK .GTK_ORIENTATION_VERTICAL , - 1 , null , headerNaturalHeight , null , null );
18821882 }
18831883 widthA [0 ] = monitorSize .width ;
18841884 heightA [0 ] = monitorSize .height - headerNaturalHeight [0 ];
@@ -2395,7 +2395,7 @@ int setBounds (int x, int y, int width, int height, boolean move, boolean resize
23952395 long header = GTK4 .gtk_window_get_titlebar (shellHandle );
23962396 int [] headerNaturalHeight = new int [1 ];
23972397 if (header != 0 ) {
2398- GTK4 .gtk_widget_measure (header , GTK .GTK_ORIENTATION_VERTICAL , 0 , null , headerNaturalHeight , null , null );
2398+ GTK4 .gtk_widget_measure (header , GTK .GTK_ORIENTATION_VERTICAL , - 1 , null , headerNaturalHeight , null , null );
23992399 }
24002400 GTK .gtk_window_set_default_size (shellHandle , width , height + headerNaturalHeight [0 ]);
24012401 } else {
0 commit comments