Font changes, etc

game/src/ui/uiman.c

@@ -26,7 +26,7 @@ uiman_init ()
   Widget *debug_menu = Widget_container_new (FALSE);
   Widget_set_background_color (debug_menu, 0, 0, 0, 0.7);
   Widget_set_position (debug_menu, 32, 32);
-  Widget_set_size (debug_menu, 350, 150);
+  Widget_set_size (debug_menu, 350, 125);
   Widget_add_child (ui_root, debug_menu);
 
   Widget_add_child_weighed (debug_menu, Widget_label_make_float ("Frame time: %.3f", &delta_time, TEXT_ALIGN_LEFT), 1);
@@ -39,11 +39,6 @@ uiman_init ()
   Widget_add_child_weighed (poscont, Widget_label_make_float ("Y: %.1f", &camera_position[1], TEXT_ALIGN_CENTER), 1);
   Widget_add_child_weighed (poscont, Widget_label_make_float ("Z: %.1f", &camera_position[2], TEXT_ALIGN_RIGHT), 1);
   Widget_add_child_weighed (debug_menu, poscont, 1);
-
-  Widget *butcont = Widget_container_new (TRUE);
-  Widget_add_child_weighed (butcont, Widget_label_make_flag_switch_button ("Toggle wireframe", "wireframe_enabled"), 1);
-  Widget_add_child_weighed (butcont, Widget_label_make_flag_switch_button ("Toggle flight", "flight_enabled"), 1);
-  Widget_add_child_weighed (debug_menu, butcont, 1);
 }
 
 void

game/src/ui/widget.c

@@ -393,7 +393,8 @@ uicb_label_show_int (Widget *self, void *userdata)
   Widget_label_printf (self, format_data->fmt, *format_data->ptr_int);  
 }
 
-void uicb_label_show_float (Widget *self, void *userdata)
+void
+uicb_label_show_float (Widget *self, void *userdata)
 {
   LabelFormatData *format_data = userdata;
   Widget_label_printf (self, format_data->fmt, *format_data->ptr_float);

game/src/ui/widget.h

@@ -14,7 +14,7 @@ typedef enum WidgetKind
     WIDGET_PLAIN,
     WIDGET_CONTAINER,
     WIDGET_LABEL,
-    WIDGET_ICON
+    WIDGET_CHECKBOX
   } WidgetKind;
 
 typedef struct ContainerWidget
@@ -36,6 +36,7 @@ typedef struct LabelWidget
   TextAlignment text_alignment;
 } LabelWidget;
 
+
 typedef struct Widget
 {
   struct Widget *parent;