catarak 2f6d5e84e8 switch sketch list to sketch list modal, which you now can close		2016-08-15 17:06:12 -04:00
..
editorAccessibility.js	switch lineNo to lineNumber	2016-08-12 14:23:34 -04:00
files.js	when clicking new project, don't save new project	2016-08-12 12:45:26 -04:00
ide.js	when clicking new project, don't save new project	2016-08-12 12:45:26 -04:00
preferences.js	move lint warning to preferences	2016-08-11 14:09:59 -04:00
project.js	switch project name edit to html5 input	2016-08-15 12:42:13 -04:00
projects.js	switch sketch list to sketch list modal, which you now can close	2016-08-15 17:06:12 -04:00