* layout.c [PORT_NEEDS_CHANGE_SCREEN_SIZE]: Declare

low_level_change_screen_size().
        (flag_winch) [PORT_NEEDS_CHANGE_SCREEN_SIZE]: Call
        low_level_change_screen_size(). From Andrew V. Samoilov.

src/ChangeLog

@@ -1,3 +1,10 @@
+2000-11-02  Pavel Roskin  <proski@gnu.org>
+
+	* layout.c [PORT_NEEDS_CHANGE_SCREEN_SIZE]: Declare
+	low_level_change_screen_size().
+	(flag_winch) [PORT_NEEDS_CHANGE_SCREEN_SIZE]: Call
+	low_level_change_screen_size(). From Andrew V. Samoilov.
+
 2000-10-04  Pavel Roskin  <proski@gnu.org>
 
 	* user.c (expand_format): Fixed processing of "%s".

src/layout.c

@@ -184,6 +184,11 @@ static char *layout_title, *title1, *title2, *title3, *output_lines_label;
 
 static WButton *bleft_widget, *bright_widget;
 
+/* Declarations for static functions */
+#ifdef PORT_NEEDS_CHANGE_SCREEN_SIZE
+static void low_level_change_screen_size (void);
+#endif /* PORT_NEEDS_CHANGE_SCREEN_SIZE */
+
 static void _check_split (void)
 {
     if (_horizontal_split){
@@ -746,6 +751,9 @@ void setup_panels (void)
 
 void flag_winch (int dummy)
 {
+#ifdef PORT_NEEDS_CHANGE_SCREEN_SIZE
+    low_level_change_screen_size ();
+#endif /* PORT_NEEDS_CHANGE_SCREEN_SIZE */
     winch_flag = 1;
 }