[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56820: outline-minor-mode replacing the first character with an arro
From: |
Eli Zaretskii |
Subject: |
bug#56820: outline-minor-mode replacing the first character with an arrow |
Date: |
Thu, 08 Sep 2022 16:39:17 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Juri Linkov <juri@linkov.net>, Eli Zaretskii <eliz@gnu.org>,
> yilkalargawworkneh@gmail.com, 56820@debbugs.gnu.org
> Date: Thu, 08 Sep 2022 14:01:54 +0200
>
> > This is a good example of a potential conflict with putting the
> > outline buttons in the fringe: line 10 has both an outline arrow *and*
> > a breakpoint.
>
> But that's a good point.
Is it plausible that someone needs to see breakpoints when the code is
folded?
> In general, though, it'd be great if fringe markers could be more
> normal. That is, if we could display general images in that area,
> instead of just the monocolour things, defined awkwardly, that we have
> today.
Why bother, since we already have the margins, where that is possible?
- bug#56820: outline-minor-mode replacing the first character with an arrow, (continued)
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/07
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Jim Porter, 2022/09/07
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow,
Eli Zaretskii <=
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/09
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/09
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/10
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/10
- bug#56820: outline-minor-mode replacing the first character with an arrow, Akib Azmain Turja, 2022/09/08
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/07