@@ -398,7 +398,7 @@ x_set_offset (struct frame *f, int xoff, int yoff, int change_gravity)
398
398
}
399
399
400
400
void
401
- x_set_window_size (struct frame * f ,
401
+ pgtk_set_window_size (struct frame * f ,
402
402
bool change_gravity ,
403
403
int width ,
404
404
int height ,
@@ -409,7 +409,7 @@ x_set_window_size (struct frame *f,
409
409
internal clipping.
410
410
-------------------------------------------------------------------------- */
411
411
{
412
- PGTK_TRACE ("x_set_window_size (%dx%d, %s)" , width , height , pixelwise ? "pixel" : "char" );
412
+ PGTK_TRACE ("pgtk_set_window_size (%dx%d, %s)" , width , height , pixelwise ? "pixel" : "char" );
413
413
int pixelwidth , pixelheight ;
414
414
415
415
block_input ();
@@ -451,7 +451,7 @@ x_set_window_size (struct frame *f,
451
451
gtk_widget_set_size_request (FRAME_GTK_WIDGET (f ), pixelwidth , pixelheight );
452
452
#else
453
453
// gtk_widget_set_size_request(FRAME_GTK_OUTER_WIDGET(f), pixelwidth, pixelheight);
454
- PGTK_TRACE ("x_set_window_size : %p: %dx%d." , f , width , height );
454
+ PGTK_TRACE ("pgtk_set_window_size : %p: %dx%d." , f , width , height );
455
455
gtk_window_resize (GTK_WINDOW (FRAME_GTK_OUTER_WIDGET (f )), pixelwidth , pixelheight );
456
456
x_wm_set_size_hint (f , 0 , 0 );
457
457
#endif
@@ -4687,6 +4687,7 @@ pgtk_create_terminal (struct pgtk_display_info *dpyinfo)
4687
4687
terminal -> iconify_frame_hook = pgtk_iconify_frame ;
4688
4688
terminal -> set_scroll_bar_default_width_hook = pgtk_set_scroll_bar_default_width ;
4689
4689
terminal -> set_scroll_bar_default_height_hook = pgtk_set_scroll_bar_default_height ;
4690
+ terminal -> set_window_size_hook = pgtk_set_window_size ;
4690
4691
4691
4692
/* Other hooks are NULL by default. */
4692
4693
0 commit comments