diff options
| author | Eli Zaretskii | 2025-02-02 08:23:02 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2025-02-02 08:23:02 +0200 |
| commit | 354b2907fce6a4ce9f5e8ea0faf69974e21e749b (patch) | |
| tree | 91c0983d95f726d94d230b1aa1f3f8cc6436ab79 /java/org/gnu | |
| parent | 42f1318e6579f94b90ef101f3f03ca65fb229262 (diff) | |
| download | emacs-354b2907fce6a4ce9f5e8ea0faf69974e21e749b.tar.gz emacs-354b2907fce6a4ce9f5e8ea0faf69974e21e749b.zip | |
Fix mouse pointer inside mouse-face on text with 'pointer' property
* src/dispnew.c (gui_update_window_end): Don't consider mouse face
overwritten.
* src/xdisp.c (show_mouse_face): Accept an additional argument;
redefine the mouse cursor only if that argument is 'true'. All
callers changed. (Bug#75931)
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions