Fixing issue of editor not properly rendering the document when switching into themes that mess around with the padding of the gutter
Fixing issue of editor not properly rendering the document when switching into themes that mess around with the padding of the gutter

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