Use History.js for better Tree browsing

Closes #1578
This commit is contained in:
Robert Speicher 2012-10-03 19:12:51 -04:00
parent 679d0d6d76
commit cda5e66d7c
5 changed files with 26 additions and 19 deletions

File diff suppressed because one or more lines are too long