It seems to reload the parts of the outline based on the saved file, but removed or added @buttons in the button panel do not reflect what should be appearing in it from the saved file. (it does not seem to be rebuilt)
Perhaps the revert command does not really destroy and rebuild the commander?
As starting point/ hint to help fix this: There was a similar problem lately in the real Leo which was fixed. So this might be related.
It seems to reload the parts of the outline based on the saved file, but removed or added @buttons in the button panel do not reflect what should be appearing in it from the saved file. (it does not seem to be rebuilt)
Perhaps the revert command does not really destroy and rebuild the commander?
As starting point/ hint to help fix this: There was a similar problem lately in the real Leo which was fixed. So this might be related.