wdvi

commit dbb961b9660a3157addaf53b9713b1495b78e04c
parent 421e8c9521acc4116ce069af6481f9073aa16992
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Thu, 16 Sep 2021 20:03:55 +0000

revert 26ea6b4 in xdvi, maybe we will be lucky

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

4 files changed, 2 insertions(+), 12 deletions(-)
diff --git a/dvi-draw.c b/dvi-draw.c
@@ -650,8 +650,6 @@ prescan(void)
 {
 	int	nextreportpage;
 
-	dvi_file_ready = False;
-
 	nextreportpage = scanned_page;
 	fseek(dvi_file, page_info[scanned_page + 1].offset, SEEK_SET);
 	currinf.pos = currinf.end = dvi_buffer;
diff --git a/dvi-init.c b/dvi-init.c
@@ -798,7 +798,7 @@ reload_dvi_file()
 {
 	struct font	*fontp;
 
-	dvi_is_valid = dvi_file_ready = False;
+	dvi_is_valid = False;
 	if (page_info != NULL) {
 	    free((char *) (page_info - 1));
 	    page_info = NULL;
diff --git a/events.c b/events.c
@@ -1219,11 +1219,7 @@ ACTION(Act_magnifier)
 	Window			throwaway;
 	Display			*disp;
 
-	/*
-	 * Don't pop up a magnifying glass if we're still generating fonts or
-	 * prescanning (e.g., bg_current might be NULL).
-	 */
-	if (!check_dvi_file() || !dvi_file_ready)
+	if (!check_dvi_file())
 	    return;
 
 	disp = XtDisplay(w);
@@ -1832,8 +1828,6 @@ redraw_page()
 	    XSetWindowBackground(DISP, mane.win, bg_current->pixel);
 	}
 
-	dvi_file_ready = True;
-
 	XWindowAttributes attrs;
 	XGetWindowAttributes(DISP, mane.win, &attrs);
 	int backing_store = attrs.backing_store;
diff --git a/xdvi.h b/xdvi.h
@@ -145,8 +145,6 @@ unsigned int	unshrunk_page_w, unshrunk_page_h;
 
 char		*dvi_name	= NULL;	/* dvi file name */
 FILE		*dvi_file;		/* user's file */
-Boolean		dvi_file_ready	= False;
-				/* done with font generation and prescanning */
 
 int		bak_shrink;		/* last shrink factor != 1 */
 XImage		*image;