editor: make change gutter thinner.