Closed Arbiter313 closed 1 year ago
There are 2 shortcuts to toggle the right sidebar, and they both seem to do the same thing. Is this a bug or am I missing a feature of one of them?
Oops, this is a bug. I fixed it. The next release will include the fix.
This is fixed in the latest release. Closing this issue.
Thanks for reporting!
There are 2 shortcuts to toggle the right sidebar, and they both seem to do the same thing. Is this a bug or am I missing a feature of one of them?