From 37153c4967cd8802a97ac2d0622b176d5603861f Mon Sep 17 00:00:00 2001
From: "Emden R. Gansner" <erg@alum.mit.edu>
Date: Tue, 22 Oct 2013 11:11:13 -0400
Subject: [PATCH] Fix lefty to use only 1.2 xdot and ignore 't' op.

---
 cmd/dotty/dotty_layout.lefty | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/cmd/dotty/dotty_layout.lefty b/cmd/dotty/dotty_layout.lefty
index 9f8283ba7..8aefac3a6 100644
--- 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;
-- 
2.40.0