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/gtkdisplaypanel.h | |
parent | 0f58e137ff493ab38d2a7e6e2d5e5bc85951be3d (diff) |
Kept the current location when switching views.
Diffstat (limited to 'src/gtkext/gtkdisplaypanel.h')
-rw-r--r-- | src/gtkext/gtkdisplaypanel.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gtkext/gtkdisplaypanel.h b/src/gtkext/gtkdisplaypanel.h index 51648df..6baac64 100644 --- a/src/gtkext/gtkdisplaypanel.h +++ b/src/gtkext/gtkdisplaypanel.h @@ -30,6 +30,7 @@ #include "../arch/vmpa.h" +#include "../glibext/gloadedpanel.h" @@ -63,6 +64,9 @@ void gtk_display_panel_set_code_display(GtkDisplayPanel *, bool); /* Indique la position courante du curseur. */ const vmpa2t *gtk_display_panel_get_caret_location(const GtkDisplayPanel *); +/* Indique la position d'affichage d'un emplacement donné. */ +bool gtk_display_panel_get_cursor_coordinates(const GtkDisplayPanel *, const GLineCursor *, gint *, gint *, ScrollPositionTweak); + /* Fournit l'élément actif lié à la position courante. */ GObject *gtk_display_panel_get_active_object(const GtkDisplayPanel *); |