diff -r 1ecc1183f046 -r 3fc287f06305 ui/gtk/toolbar.c
--- 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;