misc changes, removing git gutter cause it slowed down editor :/