Third small fix

[Harald H. <h.h...@tu...>]

In postscript terminal, also Rounded is adjustable by the user and should
be in the list of changeable options:

diff -uNr orig/term/post.trm fixes3/term/post.trm
--- orig/term/post.trm=09Thu Sep 16 23:22:28 2004
+++ fixes3/term/post.trm=09Fri Sep 17 15:05:07 2004
@@ -1397,7 +1397,7 @@
 %%%%EndComments\n\
 /gnudict 256 dict def\ngnudict begin\n\
 %%\n\
-%% The following 5 true/false flags may be edited by hand if required\n\
+%% The following 6 true/false flags may be edited by hand if required\n\
 %% The unit line width may also be changed\n\
 %%\n\
 /Color %s def\n\
@@ -1405,6 +1405,7 @@
 /Solid %s def\n\
 /Landscape %s def\n\
 /Level1 %s def\n\
+/Rounded %s def\n\
 /gnulinewidth %.3f def\n\
 /userlinewidth gnulinewidth def\n\
 %%\n\
@@ -1413,8 +1414,7 @@
 /hpt_ %.1f def\n\
 /vpt_ %.1f def\n\
 /hpt hpt_ def\n\
-/vpt vpt_ def\n\
-/Rounded %s def\n";
+/vpt vpt_ def\n";

     static const char GPFAR * GPFAR PS_iso_8859_1_encoding[] =3D {
 "/reencodeISO {\n",
@@ -1867,12 +1867,12 @@
 =09    ps_solid ? "true" : "false",
 =09    ps_portrait ? "false" : "true",
 =09    ps_level1 ? "true" : "false",
+=09    ps_rounded ? "true" : "false",
 =09    PS_LW*ps_linewidth_factor,=09/* line width */
 =09    (int)(t->v_char)/(-3),=09/* shift for vertical centring */
 =09    PS_SC*ps_dash_length,=09/* dash length */
 =09    PS_HTIC/2.0,=09=09/* half point width */
-=09    PS_VTIC/2.0,=09=09/* half point height */
-=09    ps_rounded ? "true" : "false");
+=09    PS_VTIC/2.0);=09=09/* half point height */

     /* insert font encoding vector */
     if (uses_fonts) {


Yours
Harald

--=20
Harald Harders                           Langer Kamp 8
Technische Universit=E4t Braunschweig      D-38106 Braunschweig
Institut f=FCr Werkstoffe                  Germany
E-Mail: h.h...@tu...               Tel: +49 (5 31) 3 91-3062
WWW   : http://www.harald-harders.de     Fax: +49 (5 31) 3 91-3058