> 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. >
Ahhh, of course. Thanks! -- 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/dc0383fc-79e3-46a2-85dc-00a118e7d718%40googlegroups.com.