diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-07-19 23:16:29 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-07-19 23:16:29 (GMT) |
commit | 5093663eb4e4aa17edd97cbd864ccb4a3d48a803 (patch) | |
tree | 48192ae6b37e1803d78ed81f5658ad9d2756cfd1 /src/glibext/gwidthtracker.h | |
parent | 12abead3f60d6f72c0d41672af87215dfc13c8fc (diff) |
Given their own structure to rendering 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 *); |