Now it's better, however there are still some glitches ( like the margin, folding, line number column that changes color )
Now it's better, however there are still some glitches ( like the margin, folding, line number column that changes color )