Tiny efficiency boost
More precise types
Removed some redundant methods
Fix "Class is undefined" compilation error
Fix a run-time error
Fix SparkMenuButton.toggle's signature
Change minimum window size to fit all the UI elements
Set default font size to 13px across the UI
Refine New Project dialog + tiny fixes elsewhere
Merge branch 'upstream/master'

Conflicts:
	ide/app/spark.dart
	widgets/lib/spark_menu_button/spark_menu_button.dart
Fine-tune menu position
Merge pull request #1335 from ussuri/small-fixes

Assorted small fixes