> > Rev 3f81df in devel improves the check-settings script in several ways. In > particular, it now reports when myLeoSettings.leo contains a setting not > found in leoSettings.leo. There were quite a few dead settings in my own > myLeoSettings.leo. >
This script is the same as "leoSettings.leo#Startup-->Local buttons-->@button check-settings" ? Pressing it has no effect for me (Leo 6.2-b1-devel, devel branch, build 911bb47b33). This script/button is probably better placed in myLeoSettings than LeoSettings by default. Many will rarely see and use it otherwise. -matt -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/792c6cb1-f9f1-4a2a-aef6-854130a01c8a%40googlegroups.com.