diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-12-20 22:12:28 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-12-20 22:12:28 (GMT) |
commit | cffbe4839da452af215f05dfb7cc6c9304c1285e (patch) | |
tree | d2ea78b67592e868ed94ab189722670379cd2b67 /src/gtkext/gtkbufferdisplay.h | |
parent | 0f58e137ff493ab38d2a7e6e2d5e5bc85951be3d (diff) |
Kept the current location when switching views.
Diffstat (limited to 'src/gtkext/gtkbufferdisplay.h')
-rw-r--r-- | src/gtkext/gtkbufferdisplay.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gtkext/gtkbufferdisplay.h b/src/gtkext/gtkbufferdisplay.h index dc2e4ff..73fbbde 100644 --- a/src/gtkext/gtkbufferdisplay.h +++ b/src/gtkext/gtkbufferdisplay.h @@ -59,6 +59,9 @@ GBufferView *gtk_buffer_display_get_view(const GtkBufferDisplay *); /* ------------------------------ ANIMATION DU CURSEUR ------------------------------ */ +/* Détermine si une position est comprise dans l'affichage. */ +bool gtk_buffer_display_contains_cursor(const GtkBufferDisplay *, const GLineCursor *); + /* Déplace le curseur à un emplacement en extrémité. */ bool gtk_buffer_display_move_caret_to(GtkBufferDisplay *, bool, gint *); |