Giters
6004x
/
6.004_tools
6.004_tools Browser-based Courseware for 6.004
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
17
Watchers:
6
Issues:
9
Forks:
17
6004x/6.004_tools Issues
Tests fail
Closed
9 years ago
Comments count
1
Entering text in a zero-width editor hangs the app
Closed
11 years ago
Comments count
2
On reload, previously closed tabs are reopened
Updated
10 years ago
Resizing window in split mode can break things
Closed
11 years ago
Comments count
2
Filesystem delete button is broken
Closed
11 years ago
Comments count
1
Filesystem rename button is broken
Closed
11 years ago
Comments count
1
Tooltips don't go away on filesystem things
Closed
11 years ago
Comments count
1
Slashes are still multiplying
Closed
11 years ago
Comments count
1
Trying to open files before the folder tree is loaded gives an undefined variable error
Updated
10 years ago