1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2025-01-27 15:25:24 -05:00

Q'nD: Update border and force redraw on state change

This commit is contained in:
Dave Davenport 2017-01-06 13:24:35 +01:00
parent 7e13bd8658
commit f45e910a1b

View file

@ -8,17 +8,21 @@ void widget_init ( widget *widget , const char *name )
{
widget->name = g_strdup(name);
widget->padding = (Padding){ {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}};
widget->padding = rofi_theme_get_padding ( widget, "padding", widget->padding);
widget->border = (Padding){ {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}};
widget->border = rofi_theme_get_padding ( widget, "border", widget->border);
widget->margin = (Padding){ {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}};
widget->margin = (Padding){ {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}, {0, PW_PX, SOLID}};
widget->margin = rofi_theme_get_padding ( widget, "margin", widget->margin);
widget->padding = rofi_theme_get_padding ( widget, "padding", widget->padding);
widget->border = rofi_theme_get_padding ( widget, "border", widget->border);
widget->margin = rofi_theme_get_padding ( widget, "margin", widget->margin);
}
void widget_set_state ( widget *widget, const char *state )
{
widget->state = state;
// Update border.
widget->border = rofi_theme_get_padding ( widget, "border", widget->border);
widget->need_redraw = TRUE;
}
int widget_intersect ( const widget *widget, int x, int y )