[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: |
Stefan Monnier |
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 15:18:42 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> But indeed, it seems the docstring forgets to mention that the
>> `:predicate MODES` argument causes the introduction of a new variable
>> called `MINOR-MODE-predicate` and whose default value is MODES.
>
> Not `MINOR-MODE-predicate', `MINOR-MODE-modes':
>
> (MODE-predicate (intern (concat (replace-regexp-in-string
> "-mode\\'" "" global-mode-name)
> "-modes")))
Ha! Great minds do think alike after all!
Stefan
- 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/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, 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, 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 <=