[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: |
Wed, 07 Sep 2022 21:50:26 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: yilkalargawworkneh@gmail.com, larsi@gnus.org, 56820@debbugs.gnu.org
> Date: Wed, 07 Sep 2022 21:36:06 +0300
>
> So the column for outline indicators could be implemented the same way
> as display-line-numbers-mode.
Yes, that's a possibility.
> Excuse my ignorance, is display-line-numbers-mode implemented by
> using margins?
No. We simply usurp a few columns from the text area, on the layout
level of the display engine.
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/04
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/04
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/04
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/05
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/06
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/06
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/06
- bug#56820: outline-minor-mode replacing the first character with an arrow, Eli Zaretskii, 2022/09/06
- bug#56820: outline-minor-mode replacing the first character with an arrow, Juri Linkov, 2022/09/07
- 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, 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, 2022/09/08