diff options
| author | Patrick Simianer <p@simianer.de> | 2015-12-11 16:45:40 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-12-11 16:45:40 +0100 |
| commit | e2feed531667f16840f74613853075c47e93ae8e (patch) | |
| tree | d8043a4488eaf138f003ba41db0ba2867da17e0d /derivation-editor.js | |
| parent | 00b1545b648cbbf09032b831c739f8c7d0644847 (diff) | |
whitespace
Diffstat (limited to 'derivation-editor.js')
| -rw-r--r-- | derivation-editor.js | 4 |
1 files 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") { |