···782782 // We need to redraw if the column entered the gutter
783783 if (last_mouse.col >= gutter_width and mouse.col < gutter_width)
784784 ctx.redraw = true
785785- // Or if the column exited the gutter
785785+ // Or if the column exited the gutter
786786 else if (last_mouse.col < gutter_width and mouse.col >= gutter_width)
787787 ctx.redraw = true
788788- // Or if the row changed
788788+ // Or if the row changed
789789 else if (last_mouse.row != mouse.row)
790790 ctx.redraw = true
791791- // Or if we did a middle click, and now released it
791791+ // Or if we did a middle click, and now released it
792792 else if (last_mouse.button == .middle)
793793 ctx.redraw = true;
794794 } else {