Thomas Symalla 03e9697975 TextEditor: Change cursor when reaching the ruler area ...

Noticed that mouse-overing the ruler area in the TextEditor
does not change the cursor to the default cursor, instead, the
beam cursor is used, which does not look nice.

This PR extends the mousemove event and introduces a new
set_editing_cursor() function that takes care of setting the
cursor for the editor area.

2022-08-18 15:59:53 +02:00

79 KiB

Raw Blame History

View Raw