MathuraMG b825096640 make preferences radio buttons		2016-08-25 17:46:30 -04:00
..
App	switch sketch list to sketch list modal, which you now can close	2016-08-15 17:06:12 -04:00
IDE	make preferences radio buttons	2016-08-25 17:46:30 -04:00
Sketch	fix sketch list view bug which made the nav look ugly	2016-08-15 13:03:52 -04:00
User	fix preferences font size text size bug	2016-08-09 18:45:59 -04:00