Revert "File.js"
[app.Builder.js] / Builder4 / Main.js
index 3738afa..c098538 100644 (file)
@@ -1,11 +1,11 @@
 Gtk = imports.gi.Gtk;
 Gdk = imports.gi.Gdk;
 
-Window = imports.Builder4.Window.Window;
+Window = imports.Builder3.Window.Window;
 
-JSON.x = function (o) {
+JSON.xstringify = function (o) {
          var seen = [];
-         return JSON.(o, function(_, value) {
+         return JSON.stringify(o, function(_, value) {
                  if (typeof value === 'object' && value !== null) {
                          if (seen.indexOf(value) !== -1) return null;
                          else seen.push(value);