ui/gtk/toolkit.h

changeset 140
c03c338a7dcf
parent 134
69e8e0936858
child 142
46448d38885c
--- a/ui/gtk/toolkit.h	Tue Jan 24 18:46:47 2017 +0100
+++ b/ui/gtk/toolkit.h	Fri Nov 10 17:17:14 2017 +0100
@@ -1,7 +1,7 @@
 /*
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
  *
- * Copyright 2014 Olaf Wintermann. All rights reserved.
+ * Copyright 2017 Olaf Wintermann. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are met:
@@ -62,6 +62,8 @@
 
 void ui_destroy_userdata(GtkWidget *object, void *userdata);
 
+void ui_destroy_boundvar(UiContext *ctx, UiVar *var);
+
 void ui_set_active_window(UiObject *obj);
 UiObject *ui_get_active_window();
 

mercurial