jrfonseca/xdot.py — pull request #8 by drnol (2014-04-22 07:36:00+00:00)
Title: Several keyboard navigation feature added

1. not reset highlight when you just mouse move (null action case).
2. navigate highlighted node to node by F2, F3 key.
3. navigate node through edge by [, ], ENTER key.