--- a/ui/gtk/toolbar.c Sun Feb 11 15:59:56 2024 +0100 +++ b/ui/gtk/toolbar.c Mon Feb 12 17:32:02 2024 +0100 @@ -34,7 +34,7 @@ #include "button.h" #include "image.h" #include "tree.h" -#include <cx/basic_mempool.h> +#include <cx/mempool.h> #include <cx/hash_map.h> #include <cx/linked_list.h> #include <cx/array_list.h> @@ -221,11 +221,6 @@ } -void ui_toolbar_add_default(char *name) { - char *s = strdup(name); - cxListAdd(defaults, s); -} - GtkWidget* ui_create_toolbar(UiObject *obj) { if(!defaults) { return NULL;