void wgui_desk_init();
void wgui_desk_handle(struct ir_t *ir, int *buttons, int *held);
void wgui_desk_render(struct ir_t *ir, int *buttons);
void wgui_desk_close();
void action_Theme_2(int theme_i);