diff src/user-prefs.h @ 1198:1352ecca2d91

[project @ 1995-03-31 22:13:32 by jwe]
author jwe
date Fri, 31 Mar 1995 22:13:32 +0000
parents 0e2974c1cc37
children 611d403c7f3d
line wrap: on
line diff
--- a/src/user-prefs.h	Fri Mar 31 19:33:00 1995 +0000
+++ b/src/user-prefs.h	Fri Mar 31 22:13:32 1995 +0000
@@ -47,6 +47,7 @@
   int save_precision;
   int silent_functions;
   int split_long_rows;
+  int struct_levels_to_print;
   int suppress_verbose_help_message;
   int treat_neg_dim_as_zero;
   int warn_assign_as_truth_value;
@@ -90,6 +91,7 @@
 extern int return_last_computed_value (void);
 extern int silent_functions (void);
 extern int split_long_rows (void);
+extern int struct_levels_to_print (void);
 extern int suppress_verbose_help_message (void);
 extern int treat_neg_dim_as_zero (void);
 extern int warn_assign_as_truth_value (void);