Le 13/10/2024 à 20:38, Richard Kimberly Heck a écrit :
On 10/12/24 7:37 PM, Jean-Marc Lasgouttes wrote:
I would say that this is a bug that we should fix
In the sense of changing the shortcut or changing the behavior described?
In the sense that the shortcut is only necessary because capital
On 10/12/24 7:37 PM, Jean-Marc Lasgouttes wrote:
I would say that this is a bug that we should fix
In the sense of changing the shortcut or changing the behavior described?
The toggling thing actually might be good, though I'm not sure how to
implement that.
Riki
Le 12 octobre 2024 20:59
