# Destroy the widget
	fun destroy `{ gtk_widget_destroy(self); `}