1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- ./source/plotutils.c.orig 2012-04-05 00:44:52.000000000 +0200
+++ ./source/plotutils.c 2012-04-28 05:27:04.000000000 +0200
@@ -1018,7 +1018,7 @@
X_COORD (&DEVICE (f)) = 0;
Y_COORD (&DEVICE (f)) = 0;
return (PLOTTER (&DEVICE (f)));
- } else if (!strcmp (device_type, "gif")) {
+ } else if (!strcmp (device_type, "gif") || !strcmp (device_type, "png")) {
/*------------------------------------+
| Supported plotter type - pseudo GIF |
+------------------------------------*/
@@ -1059,7 +1059,7 @@
(void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "BITMAPSIZE", size);
(void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "BG_COLOR", (void *) "black");
(void) pl_setplparam (PLOTTER_PARAMS (&DEVICE (f)), "GIF_ANIMATION", (void *) "no");
- PLOTTER (&DEVICE (f)) = pl_newpl_r ("gif", NULL, STREAM (&DEVICE (f)), stderr, PLOTTER_PARAMS (&DEVICE (f)));
+ PLOTTER (&DEVICE (f)) = pl_newpl_r (device_type, NULL, STREAM (&DEVICE (f)), stderr, PLOTTER_PARAMS (&DEVICE (f)));
if (PLOTTER (&DEVICE (f)) == NULL) {
diagnostic_node (A68_RUNTIME_ERROR, p, ERROR_DEVICE_CANNOT_OPEN);
exit_genie (p, A68_RUNTIME_ERROR);
|
