Fix bug 1123

diff --git a/cmd/dotty/dotty.lefty b/cmd/dotty/dotty.lefty
index dc888db8e1c84db0374bc8b4f1c8bcca7a979b9e..f46be227cbced55d311d35c396dbae62441c8799 100644 (file)
--- a/cmd/dotty/dotty.lefty
+++ b/cmd/dotty/dotty.lefty
@@ -318,7 +318,7 @@ dotty.protogt.erasegraph = function (gt, protogt, protovt) {
     gt.undoarray = ['level' = 0; 'entries' = [];];
 };
 dotty.protogt.layoutgraph = function (gt) {
-    if (gt.graph.graphattr.bb) {
+    if (gt.graph.graphattr.xdotversion) {
         gt.unpacklayout (gt, gt.graph);
         gt.setviewsize (gt.views, gt.graph.rect);
         gt.redrawgraph (gt, gt.views);