Revert "File.js"

[app.Builder.js] / Builder3 / Main.js

diff --git a/Builder3/Main.js b/Builder3/Main.js
index 0eb44be..c098538 100644 (file)
--- a/Builder3/Main.js
+++ b/Builder3/Main.js
@@ -3,6 +3,17 @@ Gdk = imports.gi.Gdk;
 
 Window = imports.Builder3.Window.Window;
 
+JSON.xstringify = function (o) {
+         var seen = [];
+         return JSON.stringify(o, function(_, value) {
+                 if (typeof value === 'object' && value !== null) {
+                         if (seen.indexOf(value) !== -1) return null;
+                         else seen.push(value);
+                 }
+                 return value;
+         }, 4);
+}
+
 /*
 atoms = {
                "STRING" : Gdk.atom_intern("STRING")