--- a/ui/server/widget.c Fri Dec 12 11:38:47 2025 +0100 +++ b/ui/server/widget.c Fri Dec 12 12:00:34 2025 +0100 @@ -26,7 +26,20 @@ * POSSIBILITY OF SUCH DAMAGE. */ +#include <stdio.h> + #include "widget.h" +#include "toolkit.h" + +void ui_serialize_type_obj_id(UiWidget *w, CxBuffer *buf) { + cxBufferPutString(buf, "\"type\":\""); + cxBufferPutString(buf, w->type.ptr); + cxBufferPutString(buf, "\",\"obj\":\""); + cxBufferPutString(buf, w->obj->id.ptr); + cxBufferPutString(buf, "\",\"id\":\""); + cxBufferPutString(buf, w->id.ptr); + cxBufferPutString(buf, "\""); +} void ui_set_enabled(UIWIDGET widget, int enabled) {