wdvi

commit a3f09e1758eccf33c0409e983fca758b02ab8070
parent 90c2fb84b62492fe39f6fd9a92716ec372dd0c15
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Thu, 16 Sep 2021 00:52:05 +0000

remove box around page

Diffstat:
M
dvi-draw.c
 | 
6
------

1 file changed, 0 insertions(+), 6 deletions(-)
diff --git a/dvi-draw.c b/dvi-draw.c
@@ -1085,12 +1085,6 @@ draw_page()
 	rcs_top = NULL;
 	set_fg_color(&color_bottom[color_bot_size - 1]);
 
-	/* draw border */
-	XDrawRectangle(DISP, currwin.win, highGC,
-	  -currwin.base_x, -currwin.base_y,
-	  ROUNDUP(page_info[current_page].pw, shrink_factor) + 1,
-	  ROUNDUP(page_info[current_page].ph, shrink_factor) + 1);
-
 	(void) fseek(dvi_file, page_info[current_page].offset,
 	  SEEK_SET);