Kept the current location when switching views.

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 *);