On Monday, October 8, 2018 at 10:47:51 AM UTC-5, Edward K. Ream wrote: > > I have just changed e.bat so that it reloads ekr.leo (my main test file) > immediately after it closes: > > :loop > python c:\leo.repo\leo-editor\launchLeo.py --gui=qttabs C:\Users\edreamleo > \ekr.leo > if errorlevel 1 goto :end > goto loop > :end > echo Leo quit with errorlevel %errorlevel% >
This suggests a hack. Add two new command-line arguments, --save-config and --load-config: python c:\leo.repo\leo-editor\launchLeo.py --save-config ^ --gui=qttabs C:\Users\edreamleo\ekr.leo :loop python c:\leo.repo\leo-editor\launchLeo.py --load-config --save-config ^ --gui=qttabs C:\Users\edreamleo\ekr.leo if errorlevel 1 goto :end goto loop :end echo Leo quit with errorlevel %errorlevel% << delete the temporary config files >> Caching settings permanently is fraught, imo, but caching them temporarily as shown above should be safe enough. 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.
