some goto declaration tweaks
Disable SyncFS (#1753)
Add clarifying comments
Merge pull request #1756 from ussuri/small-fixes

Add clarifying comments
Merge pull request #1757 from dinhviethoa/1753-disable-syncfs

Disable SyncFS (#1753)
Merge pull request #1754 from devoncarew/devoncarew_goto_dec

some goto declaration tweaks
Merge pull request #1760 from ussuri/generalized-flag-support

Add generalized dev flags support
Fully concentrate theme knowledge/operations in ThemeManager
Merge pull request #1761 from ussuri/concentrate-themes-in-ThemeManager

Fully concentrate theme knowledge/operations in ThemeManager
Merge remote-tracking branch 'upstream/master' into generalized-flag-support

Conflicts:
	ide/app/spark.dart