diff options
Diffstat (limited to 'src/gtkext/gtkviewpanel.h')
| -rw-r--r-- | src/gtkext/gtkviewpanel.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/gtkext/gtkviewpanel.h b/src/gtkext/gtkviewpanel.h index 24f0640..0943dd1 100644 --- a/src/gtkext/gtkviewpanel.h +++ b/src/gtkext/gtkviewpanel.h @@ -68,6 +68,9 @@ void gtk_view_panel_set_code_display(GtkViewPanel *, bool); /* Fournit le binaire associé à la représentation. */ GLoadedBinary *gtk_view_panel_get_binary(const GtkViewPanel *); + + + /* Adaptation d'une position sur une surface */ typedef enum _ScrollPositionTweak { @@ -78,11 +81,19 @@ typedef enum _ScrollPositionTweak } ScrollPositionTweak; +/* Indique la position courante du curseur. */ +const vmpa2t *gtk_view_panel_get_caret_location(const GtkViewPanel *); + /* S'assure qu'une adresse donnée est visible à l'écran. */ void _gtk_view_panel_scroll_to_address(GtkViewPanel *, const vmpa2t *, ScrollPositionTweak, bool); #define gtk_view_panel_scroll_to_address(p, a, t) _gtk_view_panel_scroll_to_address(p, a, t, true) + + +/* Demande à qui veut répondre un déplacement du curseur. */ +void gtk_view_panel_request_move(GtkViewPanel *, const vmpa2t *); + /* Fournit des éléments liés à la position courante dans la vue. */ bool gtk_view_panel_get_position(const GtkViewPanel *, GBufferLine **, GBufferSegment **); |