Gtk.Label.prototype.set_selectable

function set_selectable(setting:Boolean):void {
    // Gjs wrapper for gtk_label_set_selectable()
}

Selectable labels allow the user to select text from the label, for copy-and-paste.