Yining Shi 185d8fdd05 fixes #148 (#153) ... * save project after changing sketch name * not saving the sketch after updating the name if it's not created yet		2016-10-19 11:47:58 -04:00
..
FullView.js	fixes #135	2016-10-08 18:52:32 -04:00
IDEView.js	fixes #148 (#153)	2016-10-19 11:47:58 -04:00