diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-07-20 16:43:23 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-07-20 16:43:23 (GMT) |
commit | a809d3517eb928d5d7a03d96a85f8af96daa1047 (patch) | |
tree | 451decffd5fc20d1a5237b2aa814a62aaba99316 /src/glibext/gdisplayoptions.h | |
parent | 5093663eb4e4aa17edd97cbd864ccb4a3d48a803 (diff) |
Included dynamic items in the view menu.
Diffstat (limited to 'src/glibext/gdisplayoptions.h')
-rw-r--r-- | src/glibext/gdisplayoptions.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/glibext/gdisplayoptions.h b/src/glibext/gdisplayoptions.h index 5697385..7549897 100644 --- a/src/glibext/gdisplayoptions.h +++ b/src/glibext/gdisplayoptions.h @@ -57,6 +57,9 @@ size_t g_display_options_count(const GDisplayOptions *); /* Ajoute une nouvelle option à l'ensemble. */ void g_display_options_add(GDisplayOptions *, const char *, bool); +/* Fournit la désignation d'une option donnée. */ +const char *g_display_options_get_name(const GDisplayOptions *, size_t); + /* Fournit la valeur d'une option donnée. */ bool g_display_options_get(const GDisplayOptions *, size_t); |