javalent/settings-search

Bug: While the plugin is active, can't `Esc` the settings menu anymore

Closed this issue · 1 comments

pretty much what the title says. I also encountered a similar issue with the Dynamic Highlights Plugin, btw.

Closing this as it was not an issue.