diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-01-09 00:09:02 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-01-09 00:09:02 +0100 |
commit | 713d41f619a1a8b311c3028a97e909e79cf88353 (patch) | |
tree | 8f30db8856307c2ebbc156573fc1dfc54969ba21 /source/theme.c | |
parent | baab2047adf24642cbc727b50a77dc544e934a76 (diff) |
Allow matching highlighting to be set. Fixes #522
Diffstat (limited to 'source/theme.c')
-rw-r--r-- | source/theme.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index 0defa28b..b7e89ec9 100644 --- a/source/theme.c +++ b/source/theme.c @@ -111,6 +111,25 @@ static void rofi_theme_print_property_index ( size_t pnl, int depth, Property *p printf ( "%*s%s:%*s ", depth, "", p->name, (int) pnl - pl, "" ); switch ( p->type ) { + case P_HIGHLIGHT: + if ( p->value.highlight.style & HL_BOLD ) { + printf ( "bold " ); + } + if ( p->value.highlight.style & HL_UNDERLINE ) { + printf ( "underline " ); + } + if ( p->value.highlight.style & HL_ITALIC ) { + printf ( "italic " ); + } + if ( p->value.highlight.style & HL_COLOR ) { + printf ( "#%02X%02X%02X%02X", + (unsigned char) ( p->value.highlight.color.alpha * 255.0 ), + (unsigned char) ( p->value.highlight.color.red * 255.0 ), + (unsigned char) ( p->value.highlight.color.green * 255.0 ), + (unsigned char) ( p->value.highlight.color.blue * 255.0 ) ); + } + printf ( ";" ); + break; case P_POSITION: printf ( "%s;", WindowLocationStr[p->value.i] ); break; @@ -486,6 +505,17 @@ Padding rofi_theme_get_padding ( const widget *widget, const char *property, Pad g_log ( LOG_DOMAIN, G_LOG_LEVEL_DEBUG, "Theme entry: #%s %s property %s unset.", widget->name, widget->state ? widget->state : "", property ); return pad; } +ThemeHighlight rofi_theme_get_highlight ( widget *widget, const char *property, ThemeHighlight th ) +{ + ThemeWidget *wid = rofi_theme_find_widget ( widget->name, widget->state, FALSE ); + Property *p = rofi_theme_find_property ( wid, P_HIGHLIGHT, property, FALSE ); + if ( p ) { + return p->value.highlight; + } + g_log ( LOG_DOMAIN, G_LOG_LEVEL_DEBUG, "Theme entry: #%s %s property %s unset.", widget->name, widget->state ? widget->state : "", property ); + return th; +} + int distance_get_pixel ( Distance d, Orientation ori ) { if ( d.type == PW_EM ) { |