--- a/ui/common/types.h Sat Nov 11 12:22:16 2017 +0100 +++ b/ui/common/types.h Sun Nov 12 12:03:50 2017 +0100 @@ -37,17 +37,20 @@ void uic_int_copy(UiInteger *from, UiInteger *to); +void uic_double_copy(UiDouble *from, UiDouble *to); void uic_string_copy(UiString *from, UiString *to); void uic_text_copy(UiText *from, UiText *to); void uic_range_copy(UiRange *from, UiRange *to); void uic_list_copy(UiList *from, UiList *to); void uic_int_save(UiInteger *i); +void uic_double_save(UiDouble *d); void uic_string_save(UiString *s); void uic_text_save(UiText *t); void uic_range_save(UiRange *r); void uic_int_unbind(UiInteger *i); +void uic_double_unbind(UiDouble *d); void uic_string_unbind(UiString *s); void uic_text_unbind(UiText *t); void uic_range_unbind(UiRange *r);