[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: |
Sat, 07 Oct 2017 12:51:44 +0300 |
> Date: Sat, 07 Oct 2017 11:44:40 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: kaushal.modi@gmail.com, 27830@debbugs.gnu.org, dgutov@yandex.ru
>
> See the attached patch.
Thanks, this is fine. Just one minor comment:
> +@cindex vertical border
> + On graphical frames, vertical scroll bars implicitly serve to visually
> +separate side-by-side windows. When vertical scroll bars and window
> +dividers (@pxref{Window Dividers}) are both disabled, Emacs separates
> +such windows with the help of a one-pixel wide @dfn{vertical border}.
> +That border occupies the first pixel column of the window on the right
> +and may thus overdraw the leftmost pixels of any glyph displayed there.
> +If these pixels convey important information, you can make them visible
> +by enabling window dividers with appropriate customizations.
^^^^^^^^^^^^^^^^^^^^^^^^^^
Can we be more specific about the "appropriate customizations", e.g.,
name the variables to customize or have a cross-reference to where
they are described?
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, (continued)
- 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, 2017/10/06
- 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 <=
- 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
- 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/10
- bug#27830: 26.0.50; Left fringe gets truncated by a pixel in window not sharing that edge with frame, martin rudalics, 2017/10/11
- 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