- fun set_page_title( page : GtkWidget, title : String) is extern import String.to_cstring `{
- gtk_assistant_set_page_title( recv, page, String_to_cstring( title ) );
+ fun set_page_title(page: GtkWidget, title: String) import String.to_cstring `{
+ gtk_assistant_set_page_title(self, page, String_to_cstring(title));