Type of native

Property definitions

linux :: ui $ Control :: NATIVE
	# Type of `native`
	type NATIVE: GtkWidget
lib/linux/ui.nit:108,2--109,23

linux :: ui $ Layout :: NATIVE
	redef type NATIVE: GtkBox
lib/linux/ui.nit:147,2--26

linux :: ui $ ListLayout :: NATIVE
	redef type NATIVE: GtkScrolledWindow
lib/linux/ui.nit:188,2--37

linux :: ui $ Label :: NATIVE
	redef type NATIVE: GtkLabel
lib/linux/ui.nit:268,2--28

linux :: ui $ CheckBox :: NATIVE
	redef type NATIVE: GtkCheckButton
lib/linux/ui.nit:315,2--34

linux :: ui $ TextInput :: NATIVE
	redef type NATIVE: GtkEntry
lib/linux/ui.nit:329,2--28

linux :: ui $ Button :: NATIVE
	redef type NATIVE: GtkButton
lib/linux/ui.nit:241,2--29