… | |
… | |
978 | fix_screen = ncol != prev_ncol || nrow != prev_nrow; |
978 | fix_screen = ncol != prev_ncol || nrow != prev_nrow; |
979 | |
979 | |
980 | if (fix_screen || newwidth != old_width || newheight != old_height) |
980 | if (fix_screen || newwidth != old_width || newheight != old_height) |
981 | { |
981 | { |
982 | if (scrollBar.state) |
982 | if (scrollBar.state) |
983 | resize_scrollbar (); |
983 | scrollBar.resize (); |
984 | |
984 | |
985 | XMoveResizeWindow (dpy, vt, |
985 | XMoveResizeWindow (dpy, vt, |
986 | window_vt_x, window_vt_y, |
986 | window_vt_x, window_vt_y, |
987 | width, height); |
987 | width, height); |
988 | |
988 | |