static int colorbutton_type() { static int type = 0; if (!type) type = ji_register_widget_type(); return type; }
static int tabs_type() { static int type = 0; if (!type) type = ji_register_widget_type(); return type; }
int palette_view_type() { static int type = 0; if (!type) type = ji_register_widget_type(); return type; }