You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I personally find the mouse highlight a bit distracting* and would like to be able to disable it. I suggest that it be made optional with a new customization -- selectrum-allow-mouse-selection or something like that. It would be t by default, so as not to break expectations.
It seems to be a simple change, and I have a branch locally that does what I want. Is there any appetite for this? If so, I can submit a PR.
*It's mostly caused by my use of mini-frame and putting the child frame in the middle of the main frame -- so that the mouse often happens to be in the child frame's bounds.
The text was updated successfully, but these errors were encountered:
woolsweater
changed the title
Make mouse usage optional
Make mouse usage/highlight optional
Sep 12, 2021
I personally find the mouse highlight a bit distracting* and would like to be able to disable it. I suggest that it be made optional with a new customization --
selectrum-allow-mouse-selection
or something like that. It would bet
by default, so as not to break expectations.It seems to be a simple change, and I have a branch locally that does what I want. Is there any appetite for this? If so, I can submit a PR.
*It's mostly caused by my use of mini-frame and putting the child frame in the middle of the main frame -- so that the mouse often happens to be in the child frame's bounds.
The text was updated successfully, but these errors were encountered: