diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-01 16:14:36 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-02 03:46:36 +0300 |
| commit | 2e601e3c6c27de6625c9b7d5d32177141e25acf6 (patch) | |
| tree | 9e4739597b9b22d86c00134a2f377ec941a78827 /src/interface-gtk/view.c | |
| parent | 649ee6d81f652f907f4bd5b0649775720b352b6d (diff) | |
| download | sciteco-2e601e3c6c27de6625c9b7d5d32177141e25acf6.tar.gz | |
GTK: set the mouse cursor on the Scintilla view to signal business and on the popup entries
* By default, use the "text" cursor - this is the default Scintilla cursor, but
inhibited by the GtkEventBox I used to catch all input events.
* When processing input events, the cursor is changed to "wait".
This is done with a small delay in order to avoid flickering during normal typing.
The cursor is only changed after 100ms of activity, i.e. only when executing long loops
or external programs.
* We use the raw GSource API since it's tricky to work with source ids if the
source could be removed in the meantime.
* The popup entries' cursor is also changed to "pointer" (hand) to give a hint that
it can be clicked.
Diffstat (limited to 'src/interface-gtk/view.c')
0 files changed, 0 insertions, 0 deletions