wdvi

commit c3093f5c2e6524662accc232e52daf2509856a2d
parent bc598e98f4fcd4290408dd6b2695b8c8791f43a5
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Tue, 14 Sep 2021 17:09:01 +0000

use resource._warn_spec directly

Diffstat:
M
dvi-init.c
 | 
2
+-
M
events.c
 | 
2
+-
M
xdvi.h
 | 
1
-

3 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/dvi-init.c b/dvi-init.c
@@ -763,7 +763,7 @@ init_dvi_file()
 	prepare_pages();
 	if (current_page >= total_pages)
 		current_page = total_pages - 1;
-	warn_spec_now = warn_spec;
+	warn_spec_now = resource._warn_spec;
 	init_prescan();
 	set_titles();
 	dvi_is_valid = True;
diff --git a/events.c b/events.c
@@ -749,7 +749,7 @@ goto_page(n, proc)
 {
 	current_page = n;
 	home_action = proc;
-	warn_spec_now = warn_spec;
+	warn_spec_now = resource._warn_spec;
 }
 
 
diff --git a/xdvi.h b/xdvi.h
@@ -116,7 +116,6 @@ extern	struct _resource {
 #define	density		resource._density
 #define	pixels_per_inch	resource._pixels_per_inch
 #define	alt_font	resource._alt_font
-#define	warn_spec	resource._warn_spec
 #define	hush_chars	resource._hush_chars
 #define	hush_chk	resource._hush_chk
 #define	use_color	resource._use_color