[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not
From: |
Eli Zaretskii |
Subject: |
bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame |
Date: |
Fri, 06 Oct 2017 12:45:56 +0300 |
> Date: Fri, 06 Oct 2017 10:17:35 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: kaushal.modi@gmail.com, 27830@debbugs.gnu.org, dgutov@yandex.ru
>
> > It's definitely not for NEWS. As for PROBLEMS, can one of you suggest
> > the wording we'd like to put there? It's hard for me to make a
> > decision with no description of the workaround in sight.
>
> When vertical scroll bars are disabled on GUI frames, Emacs draws a
> one-pixel wide border between side-by-side windows. This border
> occupies the first pixel column of the window on the right and may thus
> overwrite the leftmost pixels of any glyph displayed there. If these
> pixels convey important information, you can make them visible by
> enabling window dividers (from the Options/Show/Hide menu). Width and
> faces of these dividers can be customized appropriately. Note, however,
> that window dividers are also displayed when scroll bars are enabled.
This is OK for PROBLEMS, but maybe it should be in the user manual
instead?
Thanks.
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Kaushal Modi, 2017/10/03
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/04
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Kaushal Modi, 2017/10/04
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Kaushal Modi, 2017/10/04
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/05
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Eli Zaretskii, 2017/10/05
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Kaushal Modi, 2017/10/05
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/06
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame,
Eli Zaretskii <=
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/07
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Eli Zaretskii, 2017/10/07
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/07
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Eli Zaretskii, 2017/10/07
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/09
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Eli Zaretskii, 2017/10/09
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/09
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Kaushal Modi, 2017/10/09
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/10
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, Robert Pluim, 2017/10/09