- fun get_page_title(page: GtkWidget): String import NativeString.to_s_with_copy `{
- return NativeString_to_s_with_copy((char *)gtk_assistant_get_page_title(self, page));
+ fun get_page_title(page: GtkWidget): String import CString.to_s_with_copy `{
+ return CString_to_s_with_copy((char *)gtk_assistant_get_page_title(self, page));