Skip to content

Instantly share code, notes, and snippets.

@mvertes
Created December 12, 2013 14:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mvertes/7929246 to your computer and use it in GitHub Desktop.
Save mvertes/7929246 to your computer and use it in GitHub Desktop.
This patch fixes a bug where dotty does not display label in nodes. This fix is already present upstream.
diff -rNpau graphviz-2.34.0/cmd/dotty/dotty_layout.lefty graphviz-2.34.0-mv1/cmd/dotty/dotty_layout.lefty
--- graphviz-2.34.0/cmd/dotty/dotty_layout.lefty 2013-09-07 03:07:52.000000000 +0200
+++ graphviz-2.34.0-mv1/cmd/dotty/dotty_layout.lefty 2013-12-12 15:44:12.466948990 +0100
@@ -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,
}
} 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;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment