12 printf(
"taskbar: failed to create display\n");
19 printf(
"taskbar: failed to create taskbar\n");
uint64_t display_next(display_t *disp, event_t *event, clock_t timeout)
Retrieve the next event from the display connection.
uint64_t display_dispatch(display_t *disp, const event_t *event)
Dispatch an event to the appropriate surface.
void display_free(display_t *disp)
Free a display connection.
display_t * display_new(void)
Create a new display connection.
void window_free(window_t *win)
Free a window.
#define NULL
Pointer error value.
_PUBLIC int printf(const char *_RESTRICT format,...)
Opaque display structure.
window_t * taskbar_new(display_t *disp)