diff options
Diffstat (limited to 'src/glibext/gwidthtracker.h')
| -rw-r--r-- | src/glibext/gwidthtracker.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/glibext/gwidthtracker.h b/src/glibext/gwidthtracker.h index 2d9aef6..65e3df2 100644 --- a/src/glibext/gwidthtracker.h +++ b/src/glibext/gwidthtracker.h @@ -31,6 +31,7 @@ #include "delayed.h" #include "gbufferline.h" +#include "gdisplayoptions.h" @@ -84,10 +85,10 @@ const line_width_summary *g_width_tracker_get_width_summary(GWidthTracker *); void g_width_tracker_get_local_width_summary(GWidthTracker *, size_t, line_width_summary *); /* Fournit la largeur requise par une visualisation. */ -gint g_width_tracker_get_width(GWidthTracker *, const bool *); +gint g_width_tracker_get_width(GWidthTracker *, const GDisplayOptions *); /* Fournit la largeur requise pour dépasser les marges gauches. */ -gint g_width_tracker_get_margin(GWidthTracker *, const bool *); +gint g_width_tracker_get_margin(GWidthTracker *, const GDisplayOptions *); |