On Thu, Feb 27, 2020 at 2:41 PM Matt Wilkie wrote: > This script is the same as "leoSettings.leo#Startup-->Local buttons-->@button check-settings" ?
Yes. Pressing it has no effect for me (Leo 6.2-b1-devel, devel branch, build 911bb47b33). > > The output goes to the console. This script/button is probably better placed in myLeoSettings than > LeoSettings by default. Many will rarely see and use it otherwise. > The function c_help.createMyLeoSettings creates myLeoSettings.leo. At present, it just creates the @settings tree, and a readme node. I suppose it could add more, but I'm not keen to do that. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1VWqqvONuZqrJZu3o1DVZa5Drp1NmcDJyfqJdmDnVh9w%40mail.gmail.com.