-
Locally, i have I can think of three ways to change this behaviour.
|
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
The |
Beta Was this translation helpful? Give feedback.
-
Locally, i have I can think of three ways to change this behaviour.
|
Beta Was this translation helpful? Give feedback.
-
The |
Beta Was this translation helpful? Give feedback.
The
jinx-highlight
face is used when correcting misspellings withjinx-correct
. Therefore it feels a little more consistent within Jinx to use the face also for corrections with the mouse. But if you prefer to change the face, the right thing to do is(put 'jinx-overlay 'mouse-face '(jinx-misspelled highlight))
as you have done. I've set the Jinx overlay category especially to allow overrides by the user.