Added a refresh call in a somewhat arbritrary timer
Added a refresh call in a somewhat arbritrary timer

This to be able to tell code mirror it needs refresh once a theme is
selected.  Some themes seem to have some issues like Solarized

MiguelCastillo/Brackets-Themes,alexsalas/Brackets-Themes,MiguelCastillo/Brackets-Themes,alexsalas/Brackets-Themes