tools/build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 53b1767..12c0676 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -427,6 +427,7 @@ right:
         lefts.push(par);
     }
     print (JSON.stringify(lefts,null,4));
         lefts.push(par);
     }
     print (JSON.stringify(lefts,null,4));

+    Seed.exit();