[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61340: 29.0.60; Extra space in xref buffer
From: |
Juri Linkov |
Subject: |
bug#61340: 29.0.60; Extra space in xref buffer |
Date: |
Wed, 08 Feb 2023 09:35:31 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu) |
close 61340 30.0.50
thanks
>> @@ -1108,7 +1108,7 @@ xref--insert-xrefs
>> maximize (xref-location-line
>> (xref-item-location xref)))
>> for line-format = (and max-line
>> - (format "%%%dd: " (1+ (floor (log
>> max-line 10)))))
>> + (format "%%%dd:" (1+ (floor (log max-line
>> 10)))))
>> with item-text-props = (list 'mouse-face 'highlight
>> 'keymap xref--button-map
>> 'help-echo
>> ```
>
> This was originally an effort to give the outputted text some "breathing
> room", and I think it looks a little better.
Indeed, it looks better but unfortunately at the cost of caused ambiguity.
I guess this is the reason why Grep and Occur don't add space.
> But if it can cause problems sometimes, I don't mind the proposed
> change. After all, both Grep and Occur don't have this space, and
> consistency is good.
Thanks, so now pushed to master.
- bug#61340: 29.0.60; Extra space in xref buffer, Juri Linkov, 2023/02/07
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/07
- bug#61340: 29.0.60; Extra space in xref buffer,
Juri Linkov <=
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/08
- bug#61340: 29.0.60; Extra space in xref buffer, Juri Linkov, 2023/02/08
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/08
- bug#61340: 29.0.60; Extra space in xref buffer, Juri Linkov, 2023/02/09
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/09
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/18
- bug#61340: 29.0.60; Extra space in xref buffer, Eli Zaretskii, 2023/02/19
- bug#61340: 29.0.60; Extra space in xref buffer, Dmitry Gutov, 2023/02/19