[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: |
Juri Linkov |
Subject: |
bug#56820: outline-minor-mode replacing the first character with an arrow |
Date: |
Thu, 08 Sep 2022 10:10:18 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
>> 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.
I counted ~100 occurrences of display_line_numbers in xdisp.c.
So I guess display_outlines could be added based on code
for display_line_numbers using the same strategy as
tab_line was added based on header_line.
If this is a good idea, I could look into doing this
after finishing all already opened issues, probably
around December.
- 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, 2022/09/07
- bug#56820: outline-minor-mode replacing the first character with an arrow,
Juri Linkov <=
- 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
- bug#56820: outline-minor-mode replacing the first character with an arrow, Lars Ingebrigtsen, 2022/09/08