Property definitions

gtk $ GtkLockButton :: defaultinit
# A widget to unlock or lock privileged operations
# See: https://developer.gnome.org/gtk3/stable/GtkLockButton.html
extern class GtkLockButton
	super GtkButton
end
lib/gtk/v3_4/gtk_widgets_ext.nit:233,1--237,3