Eberhard Graether 23da81136f ui: new colors and other ui improvements ...

* smoothing for edge lines
* fixed activation of token not working when multiple tokens active
* changed inheritance arrow
* thicker width for edges on focus

2015-05-24 14:47:52 +02:00

..

app/data

ui: new colors and other ui improvements

2015-05-24 14:47:52 +02:00

test/data

data: fixed crashed when parsing own code

2015-03-23 17:00:54 +01:00