alterNERDtive-base: made startup command more robust

If you somehow prevented the active profile from resetting (e.g. by hitting the edit button while the startup command was still running) you’d get the config loaded flag to stick around, causing profile change/reload to not reset options anymore.

The flag is now a profile-scoped (`>>`) variable to prevent that. There are still some corner cases left, but resetting the profile should always work.
This commit is contained in:
alterNERDtive 2020-12-08 12:12:13 +01:00
parent 9d8eedd581
commit 03bfc512fc