chiark / gitweb /
tune colours
authorian <ian>
Sat, 23 Oct 2004 17:36:20 +0000 (17:36 +0000)
committerian <ian>
Sat, 23 Oct 2004 17:36:20 +0000 (17:36 +0000)
layout/x.gdb

index bb69e04fd95d052520f39b0461b7c0615bb6440d..728078961b42bff189c9b7da185c0b8db9aa7376 100644 (file)
@@ -1,13 +1,13 @@
 file subseg2display
 set args ours.dgram-bot.pa.segenco.ppm >t.ppm \
-       b          0     200  200  200 \
-       0.         0     200  200  200 \
+       b          0     100  100  100 \
+       0.         0     100  100  100 \
        ..         0     000  000  000 \
-       u          0     175  175  175 \
-       f        660       0    0    0 \
-       r       -660       0    0    0 \
-       F        500    1000 1000 1000 \
-       R       -500    1000 1000 1000 \
+       u          0      75   75   75 \
+       f        600       0    0    0 \
+       r       -600       0    0    0 \
+       F        330    1000 1000 1000 \
+       R       -330    1000 1000 1000 \
        u0      u0.0x20 u0.0x21 u0.0x22 u0.0x23 \
                u0.0x24 u0.0x25 u0.0x26 u0.0x27 \
                u0.0x28 u0.0x29 u0.0x2a u0.0x2b \