Ah, right, thanks - that makes sense.
I think you are right that it should only happen when expanding
abbreviations, but I can live with it - I was just curious...
Regards
J^n
On Tuesday, May 9, 2023 at 12:39:12 PM UTC+1 Edward K. Ream wrote:
> On Tue, May 9, 2023 at 6:19 AM jkn <[email protected]> wrote:
>
> If I press the comma ',' key twice in succession, the first character
>> placed in the body text by the first press, gets deleted on the second
>> press!
>
>
> See @string abbreviations-next-placeholder = ,,
>
> Arguably the behavior you describe should only happen when expanding
> abbreviation.
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/4f4c96f9-a1e9-4e02-885c-581a87619dcfn%40googlegroups.com.
