comparison src/user-prefs.cc @ 1037:d383ec996ee1

[project @ 1995-01-17 03:20:16 by jwe]
author jwe
date Tue, 17 Jan 1995 03:20:23 +0000
parents dfe01093f657
children 1aa6f2edd975
comparison
equal deleted inserted replaced
1036:4e4a92dcd94e 1037:d383ec996ee1
64 user_pref.split_long_rows = 0; 64 user_pref.split_long_rows = 0;
65 user_pref.treat_neg_dim_as_zero = 0; 65 user_pref.treat_neg_dim_as_zero = 0;
66 user_pref.warn_assign_as_truth_value = 0; 66 user_pref.warn_assign_as_truth_value = 0;
67 user_pref.warn_comma_in_global_decl = 0; 67 user_pref.warn_comma_in_global_decl = 0;
68 user_pref.warn_divide_by_zero = 0; 68 user_pref.warn_divide_by_zero = 0;
69 user_pref.warn_function_name_clash = 0;
69 70
70 user_pref.default_save_format = 0; 71 user_pref.default_save_format = 0;
71 user_pref.editor = 0; 72 user_pref.editor = 0;
72 user_pref.gnuplot_binary = 0; 73 user_pref.gnuplot_binary = 0;
73 user_pref.imagepath = 0; 74 user_pref.imagepath = 0;
449 user_pref.warn_divide_by_zero = check_str_pref ("warn_divide_by_zero"); 450 user_pref.warn_divide_by_zero = check_str_pref ("warn_divide_by_zero");
450 451
451 return 0; 452 return 0;
452 } 453 }
453 454
455 // Generate warning if declared function name disagrees with the name
456 // of the file in which it is defined.
457
458 int
459 warn_function_name_clash (void)
460 {
461 user_pref.warn_function_name_clash =
462 check_str_pref ("warn_function_name_clash");
463
464 return 0;
465 }
466
454 int 467 int
455 set_output_max_field_width (void) 468 set_output_max_field_width (void)
456 { 469 {
457 int status = 0; 470 int status = 0;
458 471