[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to
From: |
Ihor Radchenko |
Subject: |
bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled |
Date: |
Sat, 17 Jun 2023 19:06:39 +0000 |
Eli Zaretskii <eliz@gnu.org> writes:
>> Stefan "who'd rename the `:predicate` arg to something like
>> `:modes` and the `MODE-predicate` variable to something
>> like `MODE-modes`."
>
> I guess it's too late for renaming this?
It can be done in backwards-compatible way, so why not?
Just keep :predicate in the code as internal compatibility alias.
This is for the argument.
The defined customization does not need to be renamed. It already has
MODE-modes symbol name.
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, (continued)
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Ihor Radchenko, 2023/06/13
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Eli Zaretskii, 2023/06/13
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Ihor Radchenko, 2023/06/13
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Eli Zaretskii, 2023/06/13
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Ihor Radchenko, 2023/06/13
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Eli Zaretskii, 2023/06/14
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Ihor Radchenko, 2023/06/14
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Eli Zaretskii, 2023/06/17
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Stefan Monnier, 2023/06/17
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Eli Zaretskii, 2023/06/17
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled,
Ihor Radchenko <=
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Ihor Radchenko, 2023/06/17
- bug#64048: 30.0.50; global-display-line-numbers-mode has no easy way to set modes where it is enabled, Stefan Monnier, 2023/06/17