Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the case where the bookmark key is the same key that is used to c…
…lose a GUI. (#433) * This should fix the case where the bookmark key is the same key that is used to close a GUI * Spotless
- Loading branch information