On Mon, Oct 9, 2017 at 8:21 AM martin rudalics <rudalics@gmx.at> wrote:

>> But perhaps we should simply stop showing vertical borders on
>> graphical frames.
>
> Aren't they needed for resizing windows with a mouse?

The majority of users probably has vertical scroll bars turned on, so
they can't do that anyway.

I am in the minority then (have the scroll bars disabled). But then I also never resize windows using mouse. But I can see some users get frustrated if suddenly window-resizing using mouse stopped working.