Re: Toggle capitalisation

2024-10-13 Thread Jürgen Spitzmüller
Am Sonntag, dem 13.10.2024 um 17:16 -0400 schrieb Richard Kimberly Heck: > It is conceivable that someone likes the previous behavior, but it's > hard to imagine that most people would expect it. I'd say go ahead. > And for stable, too. How about another function that preserves the old behavior?

Re: Toggle capitalisation

2024-10-13 Thread José Matos
On Sun, 2024-10-13 at 17:16 -0400, Richard Kimberly Heck wrote: > It is conceivable that someone likes the previous behavior, but it's > hard to imagine that most people would expect it. I'd say go ahead. > And for stable, too. > > Riki +1 -- José Abílio -- lyx-devel mailing list lyx-devel@lis

Re: Toggle capitalisation

2024-10-13 Thread Richard Kimberly Heck
On 10/13/24 4:15 PM, Jean-Marc Lasgouttes wrote: [moved discussion to lyx-devel] Le 13/10/2024 à 21:56, Jean-Marc Lasgouttes a écrit : 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

Re: Toggle capitalisation

2024-10-13 Thread Jean-Marc Lasgouttes
[moved discussion to lyx-devel] Le 13/10/2024 à 21:56, Jean-Marc Lasgouttes a écrit : 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 th