On Mon, Oct 9, 2017 at 8:21 AM martin rudalics 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. -- Kaushal Modi