Closed ascheman closed 1 year ago
Seems like some sort of a duplicate of #16 (and #14, and #18). Perhaps it's time to take care of the problem, @Fapiko ?
Merged and pushed a fix for this, should be available in the marketplace in a day or two once approved.
If I enable the plugin, the search everywhere shortcut (pressing shift shift) does not work any longer.
In the
idea.log
I find messages like this: