Genie tutorial
I’ve been toying around with genie lately.
getters/setters
var label = new Label()
print “%s”, label.label
public string label { get; set; }
public void set_label (string str);
public unowned string get_label ();
instead of using sourceview.set_size_request(0, 80)
you could do a
sourceview.height_request = 80
/usr/share/vala-0.14/vapi/gtk+-3.0.vapi
/usr/share/vala-0.14/vapi/gtksourceview-3.0.vapi