David Kaltschmidt c87cc872ee clear nodes cache when websocket closes connection ...

* also show reconnection status

fixes #162

2015-06-15 18:10:02 +02:00

..

action-types.js

clear nodes cache when websocket closes connection

2015-06-15 18:10:02 +02:00

naming.js

highlight edges and connected nodes on edge hover

2015-05-29 18:00:35 +02:00