Hmmm, I was considering asking for how to do something similar.
Would it be possible to program a button to "Reload Stylesheets", close the current file, and then reopen it? I must do this a hundred times a day manually. :-) Chris On Sun, Mar 11, 2018 at 11:02 AM, Edward K. Ream <[email protected]> wrote: > On Sun, Mar 11, 2018 at 12:45 PM, Edward K. Ream <[email protected]> > wrote: >> >> >> @button load-ekr @key=F5 >> >> @language python >> # Open ekr.leo in a separate process. >> import os >> os.system("e") >> >> On Windows, F5 will execute e.bat, which opens ekr.leo. The command runs >> in the same console as Leo itself, but in a separate process that uses the >> latest Leo code. Leo remains responsive. > > > Oops. Leo hangs. This is opens a new console. > > os.system("start cmd /c t") > > t.bat ends with the exit command, so the console goes away when I close Leo. > So now everything happens from Leo itself, and no consoles need to be closed > by hand afterwards. > > 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 post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
