////////////////////////////////////////////////////////////
//~ Theme types

Struct(PP_WidgetTheme)
{
    ResourceKey font;
    f32 font_size;
    f32 window_title_font_size;

    Vec4 window_background_color;
    Vec4 window_border_color;
    Vec4 divider_color;
    f32 window_border;
    f32 window_padding;
    f32 window_width;
};

////////////////////////////////////////////////////////////
//~ Lister types

Struct(PP_ListerWidget)
{
    /* Persistent state */
    Vec2 pos;

    /* Per-build state */
    i64 num_buttons;
};

////////////////////////////////////////////////////////////
//~ Theme helpers

PP_WidgetTheme PP_GetWidgetThemeStyles(void);
void PP_PushWidgetTheme(PP_WidgetTheme theme);

////////////////////////////////////////////////////////////
//~ Lister widgets

/* FIXME */

////////////////////////////////////////////////////////////
//~ Debug console widgets

UI_Box *PP_BuildDebugConsoleWidget(b32 minimized);