client/js/renderer/nodeeditor.js
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 -1 tip