settings: Make viewwidth, viewlength "int"s instead of pointers.
[pspp] / src / ui / terminal / main.c
index 02be4f78c0e777f1e93df1719fc7fc0ed48f13f2..94b21a55742855a05974afae7d0c41d0cf30c392 100644 (file)
@@ -79,7 +79,6 @@ static struct source_stream *the_source_stream ;
 int
 main (int argc, char **argv)
 {
-  int *view_width_p, *view_length_p;
   struct terminal_opts *terminal_opts;
   struct argv_parser *parser;
 
@@ -98,8 +97,8 @@ main (int argc, char **argv)
   the_source_stream = create_source_stream ();
   prompt_init ();
   readln_initialize ();
-  terminal_init (&view_width_p, &view_length_p);
-  settings_init (view_width_p, view_length_p);
+  settings_init ();
+  terminal_check_size ();
   random_init ();
 
   the_dataset = create_dataset ();