src/xditview/Dvi.c

60 #define MY_WIDTH(dw) ((int)(dw->dvi.paperwidth * dw->dvi.scale_factor + .5))
61 #define MY_HEIGHT(dw) ((int)(dw->dvi.paperlength * dw->dvi.scale_factor + .5))
65 	 offset(dvi.font_map_string), XtRString, default_font_map},
67 	 offset(dvi.foreground), XtRString, "XtDefaultForeground"},
69 	 offset(dvi.background), XtRString, "XtDefaultBackground"},
71 	 offset(dvi.requested_page), XtRString, "1"},
73 	 offset (dvi.last_page), XtRString, "0"},
75 	 offset (dvi.file), XtRFile, (char *) 0},
77 	 offset(dvi.seek), XtRString, "false"},
79 	 offset(dvi.default_font), XtRString, "xtdefaultfont"},
81 	 offset(dvi.backing_store), XtRString, "default"},
83 	 offset(dvi.noPolyText), XtRString, "false"},
85 	 offset(dvi.default_resolution), XtRString, "75"},
174 	dw->dvi.current_page = 0;
175 	dw->dvi.font_map = 0;
176 	dw->dvi.cache.index = 0;
177 	dw->dvi.text_x_width = 0;
178 	dw->dvi.text_device_width = 0;
179 	dw->dvi.word_flag = 0;
180 	dw->dvi.file = 0;
181 	dw->dvi.tmpFile = 0;
182 	dw->dvi.state = 0;
183 	dw->dvi.readingTmp = 0;
184 	dw->dvi.cache.char_index = 0;
185 	dw->dvi.cache.font_size = -1;
186 	dw->dvi.cache.font_number = -1;
187 	dw->dvi.cache.adjustable[0] = 0;
188 	dw->dvi.file_map = 0;
189 	dw->dvi.fonts = 0;
190 	dw->dvi.seek = False;
191 	dw->dvi.device_resolution = dw->dvi.default_resolution;
192 	dw->dvi.display_resolution = dw->dvi.default_resolution;
193 	dw->dvi.paperlength = dw->dvi.default_resolution*11;
194 	dw->dvi.paperwidth = (dw->dvi.default_resolution*8
195 			      + dw->dvi.default_resolution/2);
196 	dw->dvi.scale_factor = 1.0;
197 	dw->dvi.sizescale = 1;
198 	dw->dvi.line_thickness = -1;
199 	dw->dvi.line_width = 1;
200 	dw->dvi.fill = DVI_FILL_MAX;
201 	dw->dvi.device_font = 0;
202 	dw->dvi.device_font_number = -1;
203 	dw->dvi.device = 0;
204 	dw->dvi.native = 0;
225 	if (dw->dvi.backing_store != Always + WhenMapped + NotUseful) {
226 		attrs->backing_store = dw->dvi.backing_store;
231 	values.foreground = dw->dvi.foreground;
234 	values.line_width = dw->dvi.line_width;
235 	dw->dvi.normal_GC = XCreateGC (XtDisplay (w), XtWindow (w),
239 	dw->dvi.gray[0] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
242 	dw->dvi.gray[1] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
245 	dw->dvi.gray[2] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
248 	dw->dvi.gray[3] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
251 	dw->dvi.gray[4] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
254 	dw->dvi.gray[5] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
257 	dw->dvi.gray[6] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
260 	dw->dvi.gray[7] = XCreateBitmapFromData(XtDisplay (w), XtWindow (w),
263 	values.background = dw->dvi.background;
264 	values.stipple = dw->dvi.gray[5];
265 	dw->dvi.fill_GC = XCreateGC (XtDisplay (w), XtWindow (w),
269 	dw->dvi.fill_type = 9;
271 	if (dw->dvi.file)
282 	XFreeGC (XtDisplay (w), dw->dvi.normal_GC);
283 	XFreeGC (XtDisplay (w), dw->dvi.fill_GC);
284 	XFreePixmap (XtDisplay (w), dw->dvi.gray[0]);
285 	XFreePixmap (XtDisplay (w), dw->dvi.gray[1]);
286 	XFreePixmap (XtDisplay (w), dw->dvi.gray[2]);
287 	XFreePixmap (XtDisplay (w), dw->dvi.gray[3]);
288 	XFreePixmap (XtDisplay (w), dw->dvi.gray[4]);
289 	XFreePixmap (XtDisplay (w), dw->dvi.gray[5]);
290 	XFreePixmap (XtDisplay (w), dw->dvi.gray[6]);
291 	XFreePixmap (XtDisplay (w), dw->dvi.gray[7]);
292 	DestroyFontMap (dw->dvi.font_map);
293 	DestroyFileMap (dw->dvi.file_map);
294 	device_destroy (dw->dvi.device);
312 	dw->dvi.extents.x1 = extents.x;
313 	dw->dvi.extents.y1 = extents.y;
314 	dw->dvi.extents.x2 = extents.x + extents.width;
315 	dw->dvi.extents.y2 = extents.y + extents.height;
331 	if (current->dvi.font_map_string != request->dvi.font_map_string) {
332 		new_map = XtMalloc (strlen (request->dvi.font_map_string) + 1);
335 			strcpy (new_map, request->dvi.font_map_string);
336 			new->dvi.font_map_string = new_map;
337 			if (current->dvi.font_map_string)
338 				XtFree (current->dvi.font_map_string);
339 			current->dvi.font_map_string = 0;
344 	req = request->dvi.requested_page;
345 	cur = current->dvi.requested_page;
347 		if (!request->dvi.file)
352 		    if (current->dvi.last_page != 0 &&
353 			req > current->dvi.last_page)
354 			    req = current->dvi.last_page;
358 		new->dvi.requested_page = req;
359 		if (current->dvi.last_page == 0 && req > cur)
392 	if (dw->dvi.tmpFile)
393 		fclose (dw->dvi.tmpFile);
400 	dw->dvi.tmpFile = 0;
401 	if (!dw->dvi.seek)
402 		dw->dvi.tmpFile = tmpfile();
403 	dw->dvi.requested_page = 1;
404 	dw->dvi.last_page = 0;
436 	dw->dvi.device = device_load (name);
437 	if (!dw->dvi.device)
439 	dw->dvi.sizescale = dw->dvi.device->sizescale;
440 	dw->dvi.device_resolution = dw->dvi.device->res;
441 	dw->dvi.native = dw->dvi.device->X11;
442 	dw->dvi.paperlength = dw->dvi.device->paperlength;
443 	dw->dvi.paperwidth = dw->dvi.device->paperwidth;
444 	if (dw->dvi.native) {
445 		dw->dvi.display_resolution = dw->dvi.device_resolution;
446 		dw->dvi.scale_factor = 1.0;
449 		dw->dvi.display_resolution = dw->dvi.default_resolution;
450 		dw->dvi.scale_factor = ((double)dw->dvi.display_resolution
451 					/ dw->dvi.device_resolution);
470 	if (!dw->dvi.file) {
473 		XSetFont (XtDisplay(dw), dw->dvi.normal_GC,
474 			  dw->dvi.default_font->fid);
475 		XDrawString (XtDisplay (dw), XtWindow (dw), dw->dvi.normal_GC,
482 	dw->dvi.display_enable = 1;
484 	if (dw->dvi.last_page && dw->dvi.requested_page > dw->dvi.last_page)
485 		dw->dvi.requested_page = dw->dvi.last_page;
495 	if (dw->dvi.requested_page < 1)
496 		dw->dvi.requested_page = 1;
498 	if (dw->dvi.last_page != 0 && dw->dvi.requested_page > dw->dvi.last_page)
499 		dw->dvi.requested_page = dw->dvi.last_page;
501 	file_position = SearchPagePosition (dw, dw->dvi.requested_page);
504 		dw->dvi.current_page = dw->dvi.requested_page;
506 		for (i=dw->dvi.requested_page; i > 0; i--) {
515 		dw->dvi.current_page = i;
517 		dw->dvi.display_enable = 0;
518 		while (dw->dvi.current_page != dw->dvi.requested_page) {
519 			dw->dvi.current_page = ParseInput (dw);
523 			if (!dw->dvi.readingTmp && feof (dw->dvi.file)) {
525 						dw->dvi.current_page);
528 				dw->dvi.requested_page = dw->dvi.current_page;
552 	if (dw->dvi.tmpFile) {
553 		pos = ftell(dw->dvi.tmpFile);
554 		if (dw->dvi.ungot) {
556 			dw->dvi.ungot = 0;
559 			(void)getc(dw->dvi.file);
563 		pos = ftell(dw->dvi.file);