Thanks! i'll convert those changes to leojs for sure.
I've been pretty silent and unproductive in the last 2-3 days as i got covid! i'm ok now and will be working on this soon. (thanks for those 4 vaccines shots i had received, this whole thing was just 3 days of muscle ache and feeling weak and sleepy: Not even cough or sneezed once.) Félix On Sunday, June 26, 2022 at 7:07:45 AM UTC-4 Edward K. Ream wrote: > PR #2694 <https://github.com/leo-editor/leo-editor/pull/2694> improves a > class that has bothered me for a decade or more. The new code has been > merged into devel and felix-server4. > > The SettingsDict class is now a subclass of dict, which simplifies the > code. The new class contains just a few utilities related to settings > dicts, so the new name is more appropriate. > > The old class clumsily provided type checking. The new class leaves type > checking to mypy. > > The new code will ripple into LeoJS, but imo the work will be worthwhile. > > I have taken care to make no substantial functional changes to the > SettingsDict class. Please report any problems immediately. We aren't going > back to the old way. > > 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/24042761-14b9-4874-a212-6ea53878a76dn%40googlegroups.com.
