On Tue, Apr 15, 2025 at 9:15 AM Viktor Ransmayr wrote: The ramifications are beyond my complete understanding. As a result, I am >> planning to announce the relevant changes as *breaking changes* between >> Leo 6.8.3 and 6.8.4. My recommendation is to add the @color rest.xxx >> setting to myLeoSettings.leo and/or any active theme files. >> >> Viktor, does this seem like a reasonable plan to you? >> > > Yes. >
Excellent. I'll merge PR #4332 <https://github.com/leo-editor/leo-editor/pull/4332> soon. 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/CAMF8tS1vxfBtO3V4ZE78vj4hWAw2ehY2q1%2BbKhVirFV_Bri9hA%40mail.gmail.com.
