diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-01-06 16:41:23 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-01-06 16:41:23 +0100 |
commit | af8a6541a2608c387c6df95b4e0bd57a1fade6e6 (patch) | |
tree | 4ccc8392d0968eb050d0a7fce02c902bc12730ca /include/theme.h | |
parent | 50780346729d2e9f4feb2725824c8df173b0df5b (diff) |
Order entries in box based on index, allow theme to override.
Diffstat (limited to 'include/theme.h')
-rw-r--r-- | include/theme.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/include/theme.h b/include/theme.h index a0b55675..ee5acb6f 100644 --- a/include/theme.h +++ b/include/theme.h @@ -202,6 +202,16 @@ Distance rofi_theme_get_distance ( const widget *widget, const char *property, i * @returns The integer value of this property for this widget. */ int rofi_theme_get_integer ( const widget *widget, const char *property, int def ); +/** + * @param widget The widget to query + * @param property The property to query. + * @param def The default value. + * + * Obtain the integer of the widget. + * + * @returns The integer value of this property for this widget. + */ +int rofi_theme_get_integer_exact ( const widget *widget, const char *property, int def ); /** * @param widget The widget to query |