PR #3922 <https://github.com/leo-editor/leo-editor/pull/3922> significantly improves Leo's restart-leo command. The command now uses the command-line arguments in effect when Leo started.
These changes are an earthquake in my workflow. Rather than closing and reopening my test file, I just use the restart-leo command. This change saves so much time! How did I ever live without it? Issue #3925 <https://github.com/leo-editor/leo-editor/issues/3925> suggests eliminating reload-settings and reload-stylesheets commands. The improved restart-leo command makes them unnecessary. In essence, the reload commands are hacks. Imo, the reload commands should be aliases for restart-leo. What do you think? 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/f2628fe2-84e3-45cc-8091-f0a276cc7c0bn%40googlegroups.com.
