Fixed issue with Aquaman not showing INS option correctly
Fixed issue with Aquaman not showing INS option correctly

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