diff src/user-prefs.h @ 1613:f18871f4df2b

[project @ 1995-11-03 12:06:56 by jwe]
author jwe
date Fri, 03 Nov 1995 12:12:36 +0000
parents 27f5ac98fc4a
children 1f99a54d7b52
line wrap: on
line diff
--- a/src/user-prefs.h	Fri Nov 03 09:42:04 1995 +0000
+++ b/src/user-prefs.h	Fri Nov 03 12:12:36 1995 +0000
@@ -64,9 +64,11 @@
 
   char *default_save_format;
   char *editor;
+  char *exec_path;
   char *gnuplot_binary;
   char *imagepath;
   char *info_file;
+  char *info_prog;
   char *loadpath;
   char *pager_binary;
   char *ps1;
@@ -118,9 +120,11 @@
 
 extern int sv_default_save_format (void);
 extern int sv_editor (void);
+extern int sv_exec_path (void);
 extern int sv_gnuplot_binary (void);
 extern int sv_imagepath (void);
 extern int sv_info_file (void);
+extern int sv_info_prog (void);
 extern int sv_loadpath (void);
 extern int sv_pager_binary (void);
 extern int sv_ps1 (void);