diff options
| author | Alon Levy <alon@pobox.com> | 2014-11-03 16:20:26 +0200 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2014-11-03 16:20:28 +0200 |
| commit | 0297991574f8bb1bf6e2dc9ddbb31909b5fca5de (patch) | |
| tree | 4bf8afd520e1d4f17edd7c304f7257105f7ddf76 /scripts/external/jquery-ui.js | |
| parent | 43f715b6f37c7895e91dc06c6f1e774474d14cf9 (diff) | |
fixes #79; note that hightlightNode sucks
It should be implemented as setting a chosen state, containing id's of
chosen nodes and possibly links as well (although links are defined by
their source and target ids).
Diffstat (limited to 'scripts/external/jquery-ui.js')
0 files changed, 0 insertions, 0 deletions
