[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 11:24:03 +0300 |
> Date: Sat, 07 Oct 2017 10:08:26 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: kaushal.modi@gmail.com, 27830@debbugs.gnu.org, dgutov@yandex.ru
>
> > This is OK for PROBLEMS, but maybe it should be in the user manual
> > instead?
>
> It's probably too internal in order to be mentioned in PROBLEMS. But is
> the user manual really a suitable place for this? I understand your
> concerns but, for example, the last paragraph of section "14.14 Window
> Fringes" appears to me merely distracting for people who want to learn
> basic things about fringes. Maybe that part should better go to section
> "39.3 Truncation" of the Elisp manual.
This text was added in response to explicit requests of users who
AFAIR had nothing to do with Lisp programming, so I think the place is
right, and its being at the end should minimize the distraction.
> As for the vertical borders I don't know. We would need to describe
> them somewhere in a context of "resizing side-by-side windows with the
> mouse" but we curently do that rather cryptically in section 21.5 of the
> Emacs manual as
>
> Furthermore, by clicking and dragging `mouse-1' on the divider
> between two side-by-side mode lines, you can move the vertical boundary
> to the left or right.
>
> Nothing special about windows without vertical scroll bars.
I see two potential homes for this: 21.12 "Scroll Bars" and 21.13
"Window Dividers". We can mention it in both, one a full description,
the other just a short comment and a cross-reference. WDYT?
- 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, 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 <=
- 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
- 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