Implement checkbox option for individual file in search result panel.
Don't show checkboxes in file-sections for the Find Result panel.
Tweaked spacing.
Adjust colspan attribute for file-section to the correct value.
Fix item highlighting issues in dropdown list.
add null checks before calling PopUpManager.removePopUp()
disable integration test
Scoped themes to apply only to the editor (#editor-holder)
Removed theme class from being applied to the document
Removed all code to handle multi theme selection
Adding change to process theme in the extension package as an object rather than just a string
Update metadata for built in themes and look for the `dark` flag in the right place.
Merge branch 'master' into MiguelCastillo-themes-8420
Theme test fixes
Minor jsdoc tweak
Remove unused ThemeManager.loadDirectory
Update file and header checkboxes when the last not-yet-checked item is checked.
fix for issue 8111 exclude .sass-cache folder in project view
Fix some JSLint errors.
Another try to fix the jshint error.