On Mon, Apr 14, 2025 at 11:33 AM Viktor Ransmayr <[email protected]> wrote:
> Hello Edward, > > Am Mo., 14. Apr. 2025 um 16:45 Uhr schrieb Edward K. Ream < > [email protected]>: > >> On Monday, April 14, 2025 at 7:11:01 AM UTC-5 Edward K. Ream wrote: >> >> > I see the problem you [Viktor] describe and have just created issue >> #4331 <https://github.com/leo-editor/leo-editor/issues/4331>. >> >> PR #4332 <https://github.com/leo-editor/leo-editor/pull/4332> is ready >> for review. I have tested this PR with and without an enabled version of >> myLeoSettings. >> >> Please test and report any problems. >> > > Not yet identical ! - For me only ? > The screenshot is the intended result of PR #4332 <https://github.com/leo-editor/leo-editor/pull/4332>. There may be some edge cases, but I think the solution now is add all the new settings (from the new PR) to your myLeoSettings.leo file and (if necessary) whatever theme file that your myLeoSettings.leo file selects. In other words, I think the new PR is all I can do. Can you live with the new PR? 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 visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3KVG3p_9k3uaPtOiMDxh4PSwE0iXk0FgtSn-a9%3DnGq-g%40mail.gmail.com.
