How is "disabling myLeoSettings.leo" achieved, please?
Thanks
J^n
On Monday, April 14, 2025 at 1:11:01 PM UTC+1 Edward K. Ream wrote:
> On Mon, Apr 14, 2025 at 5:07 AM Viktor Ransmayr <[email protected]>
> wrote:
>
> I did more tests with your latest updates to the 'devel' branch.
>>
>> It has changed - but - it is not identical.
>>
>
> Thanks for this report.
>
> I see the problem you describe and have just created issue #4331
> <https://github.com/leo-editor/leo-editor/issues/4331>.
>
> For me personally it is already good enough, since the default coloring of
>> reStructuredText nodes is no longer RED ...
>>
>> It's your call to make, if the goal is to achieve identical look & feel
>> for 6.8.4 or not ?
>>
>
> Imo, 6.8.3 and 6.8.4 should, without doubt, be identical (by default) in
> this regard.
>
> Settings are complex and confusing enough without unnecessary
> complications.
>
> BTW, I finally understood that disabling myLeoSettings (as you have done)
> is essential for separating default settings from user settings.
>
> 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/2ddee07b-bd7c-476c-85c2-3680e3854b94n%40googlegroups.com.
