--- a/ui/gtk/toolkit.c	Sat Jul 04 17:46:17 2026 +0200
+++ b/ui/gtk/toolkit.c	Wed Jul 15 20:03:33 2026 +0200
@@ -579,3 +579,10 @@
     // TODO: call xdg-open
 #endif
 }
+
+void ui_open_file(const char *path) {
+    GFile *file = g_file_new_for_path(path);
+    GError *error = NULL;
+    g_app_info_launch_default_for_uri(g_file_get_uri(file), NULL, &error);
+    g_object_unref(file);
+}