Problem: Resizing the window when exiting.
Solution: Don't resize when exiting.
int old_Rows = Rows;
int old_Columns = Columns;
- (void)ui_get_shellsize();
- check_shellsize();
- if (old_Rows != Rows || old_Columns != Columns)
- shell_resized();
+ if (!exiting)
+ {
+ (void)ui_get_shellsize();
+ check_shellsize();
+ if (old_Rows != Rows || old_Columns != Columns)
+ shell_resized();
+ }
}
/*
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 92,
/**/
91,
/**/