You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
merge various updates to master (cs01#137)
* make modal into react; move more from pug to react/js
* cleanup modal and settings
* convert everything to react; parse executable+args with spaces (cs01#116)
* add gzip compression to flask
* add gzip; rename index.js to build.js
* everything in a single div id
* add javascript unit tests
* add button to toggle assembly flavors (cs01#110); refresh state when clicking return button
make source code display after backtrace (regression fix, cs01#134); …
…update documentation; fix bug in command line arg handling for --arg; update version
Resize tree view (cs01#105)
* add inputs to define width and height of tree view (issue cs01#100)
* preserve leading and trailing whitespace in terminal
* add menu in top right
* css updates
* add help page