Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Before adding a permanent overlay, remove temporary overlay
Otherwise both overlays remain in effect until the user moves away from the current symbol.
- Loading branch information