Fix lefty to use only 1.2 xdot and ignore 't' op.

diff --git a/cmd/dotty/dotty_layout.lefty b/cmd/dotty/dotty_layout.lefty
index 9f8283ba7cfede382c0f76c4eccda109ec5604a9..8aefac3a683b0ce8eb0d774c7ecbd7dfa0848af6 100644 (file)
--- a/cmd/dotty/dotty_layout.lefty
+++ b/cmd/dotty/dotty_layout.lefty
@@ -5,7 +5,7 @@ dotty.grablserver = function (lserver) {
     local fd;
 
     if (~dotty.lservers[lserver] | tablesize (dotty.lservers[lserver]) == 0) {
-        if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot')) >= 0)) {
+        if (~((fd = openio ('pipe', lserver, 'r+', '%e -Txdot1.2')) >= 0)) {
             dotty.message (0, concat ('cannot start ', lserver));
             return null;
         }
@@ -438,6 +438,8 @@ dotty.protogt.unpackdraw = function (gt, attr) {
             }
         } else if (t[i] == 'I') {
             i = i + 7;
+        } else if (t[i] == 't') {
+            i = i + 2;
         } else {
             dotty.message (0, concat ('draw language parser error: ', t[i]));
             return null;