Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change widget/repl toggle to close and re-open if in was on other tab…
…page
- Loading branch information
6bf4de6
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hello! I'm not sure if that's the intended behavior after this change, but since I open the REPL in a new tab (via
tab split
), I now have to move to the tab with the REPL to actually close it. Is there a workaround to restore previous behavior, where the REPL would be toggled regardless of its tab?6bf4de6
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I didn't realize people were using it that way. I reverted the commit now.