PR
#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