GNU bug report logs - #27830
26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame

Previous Next

Full log

Message #80 received at 27830 <at> debbugs.gnu.org (full text, mbox):

From: martin rudalics <rudalics <at> gmx.at>
To: Kaushal Modi <kaushal.modi <at> gmail.com>, Eli Zaretskii <eliz <at> gnu.org>
Cc: 27830 <at> debbugs.gnu.org, dgutov <at> yandex.ru
Subject: Re: 26.0.50; Left fringe gets truncated by a pixel in window not
 sharing that edge with frame
Date: Tue, 10 Oct 2017 10:12:53 +0200

> 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.

They can use window dividers instead.  A notable difference between
window dividers and vertical borders exists only when a users disables
scroll bars on specific windows only.  In that case, window dividers
will show up on all windows, including those with scroll bars.  Vertical
borders only show up on windows without scroll bars.

martin

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.