client/js/renderer/nodeeditor.js
Thu, 04 Jun 2015 10:04:01 +0200 ymh Merge with a3bf10beb710d1cfdda455ab98705f9e7a631739
Wed, 03 Jun 2015 13:16:46 +0200 ymh add node and edge stroke width + adjust text + arrow placement + conrol arrow visibility
less more (0) -10 -2 tip