From e2feed531667f16840f74613853075c47e93ae8e Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 11 Dec 2015 16:45:40 +0100
Subject: whitespace

---
 derivation-editor.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/derivation-editor.js b/derivation-editor.js
index cd311c3..968d591 100644
--- a/derivation-editor.js
+++ b/derivation-editor.js
@@ -761,7 +761,7 @@ var DE_make_obj = function (x, text, type, grid_pos=null, id=null)
   // meta
   sh["type_"] = type;
   sh["id_"] = id;
-  if (!id) 
+  if (!id)
     sh["id_"] = DE_id;
   DE_shapes_by_id[sh["id_"]] = sh;
   if (type == "target") {
@@ -1398,7 +1398,7 @@ var DE_undo = function ()
 {
   var x = DE_undo_stack.pop();
   if (!x) return;
-  
+
   if (x[0] == "rm") {
     DE_undo_rm(x[1], x[2], x[3], x[4]);
   } else if (x[0] == "edit") {
-- 
cgit v1.2.3