- public void updateState () {
-
- var ticket_id = _this.ticketsel.selectedTicketId();
-
- if (ticket_id == "") {
- this.el.set_sensitive(false);
- return;
- }
-
- this.el.set_sensitive(true);
-
+ }
+
+
+ public class Xcls_ScrolledWindow57 : Object
+ {
+ public Gtk.ScrolledWindow el;
+ private NewBranch _this;
+
+
+ // my vars (def)
+
+ // ctor
+ public Xcls_ScrolledWindow57(NewBranch _owner )
+ {
+ _this = _owner;
+ this.el = new Gtk.ScrolledWindow( null, null );
+
+ // my vars (dec)
+
+ // set gobject values
+ this.el.height_request = 400;
+ this.el.vexpand = true;
+ var child_0 = new Xcls_diff_view( _this );
+ child_0.ref();
+ this.el.add ( child_0.el );
+ }
+
+ // user defined functions
+ }
+ public class Xcls_diff_view : Object
+ {
+ public Gtk.SourceView el;
+ private NewBranch _this;
+
+
+ // my vars (def)
+
+ // ctor
+ public Xcls_diff_view(NewBranch _owner )
+ {
+ _this = _owner;
+ _this.diff_view = this;
+ this.el = new Gtk.SourceView();
+
+ // my vars (dec)
+
+ // init method
+
+ var description = Pango.FontDescription.from_string("monospace");
+ description.set_size(9000);
+ this.el.override_font(description);
+ var lm = Gtk.SourceLanguageManager.get_default();
+
+ ((Gtk.SourceBuffer)(this.el.get_buffer())).set_language(
+ lm.get_language("diff")
+ );