X-Git-Url: http://git.roojs.org/?a=blobdiff_plain;f=NewBranch.vala;h=0e444699195c75b716f33ca5722914ca0cfffb47;hb=fa70cd5950c3dfa2d84f7dcfd6313a563cb781a6;hp=eaa005daa66c3f64afc349797fd3663b5abcad9d;hpb=420f92f7b9792dae97fa7b74d5f72073b782c614;p=gitlive diff --git a/NewBranch.vala b/NewBranch.vala index eaa005da..0e444699 100644 --- a/NewBranch.vala +++ b/NewBranch.vala @@ -15,6 +15,7 @@ public class NewBranch : Object public Xcls_label_select_ticket label_select_ticket; public Xcls_label_create_ticket label_create_ticket; public Xcls_label_quick_commit label_quick_commit; + public Xcls_select_ticket_tab select_ticket_tab; public Xcls_projectsel projectsel; public Xcls_prcellrenderer prcellrenderer; public Xcls_prmodel prmodel; @@ -22,15 +23,16 @@ public class NewBranch : Object public Xcls_dbcellrenderer dbcellrenderer; public Xcls_dbmodel dbmodel; public Xcls_name name; - public Xcls_createbtn createbtn; + public Xcls_branchbtn branchbtn; public Xcls_btn_not_me btn_not_me; public Xcls_btn_closed btn_closed; public Xcls_scrolled_window scrolled_window; public Xcls_view view; + public Xcls_create_ticket_tab create_ticket_tab; public Xcls_table table; public Xcls_project_id project_id; - public Xcls_prcellrenderer prcellrenderer; - public Xcls_prmodel prmodel; + public Xcls_tprcellrenderer tprcellrenderer; + public Xcls_tprmodel tprmodel; public Xcls_summary summary; public Xcls_milestone_id milestone_id; public Xcls_msmodel msmodel; @@ -43,6 +45,10 @@ public class NewBranch : Object public Xcls_clmodel clmodel; public Xcls_developer_id developer_id; public Xcls_devmodel devmodel; + public Xcls_quick_commit_tab quick_commit_tab; + public Xcls_commit_message commit_message; + public Xcls_createbtn createbtn; + public Xcls_diff_view diff_view; // my vars (def) public GitRepo? repo; @@ -131,39 +137,35 @@ public class NewBranch : Object if (this.running) { // should not happen!! GLib.error("new branch show called, when already being displayed?"); } - this.queue = queue; + + this.queue = queue; this.running = true; GitMonitor.gitmonitor.stop(); + this.repo = repo; - - - this.el.move((Gdk.Screen.width() / 2)- 250 ,0); this.el.set_default_size( 500,200); // not sure why it grows.. - GLib.debug("Loading tickets"); + + + + this.el.show_all(); this.el.set_keep_above(true); + + _this.select_ticket_tab.load_data(tid); + _this.create_ticket_tab.load_data(); + _this.quick_commit_tab.load_data(); + - var curproj = RooProject.getProjectByRepo(this.repo); - _this.prmodel.loadProjects(curproj == null ? "" : curproj.id); - _this.dbmodel.loadTickets(curproj == null ? "": curproj.id, tid); - _this.createbtn.updateState(); - - _this.ticketsel.el.get_child().get_style_context().remove_class("warning"); - if (tid != "") { - var name = RooTicket.singleton().usernameLocal(); - var ticket = RooTicket.singleton().getById(tid); - _this.name.el.set_text("wip_%s_T%s_%s".printf(name,ticket.id, ticket.summaryToBranchName())); - } else { - _this.ticketsel.el.get_child().get_style_context().add_class("warning"); - } - _this.view.loadTicket(tid); + + + this.el.run(); } @@ -191,13 +193,13 @@ public class NewBranch : Object child_1.ref(); var child_2 = new Xcls_label_quick_commit( _this ); child_2.ref(); - var child_3 = new Xcls_Box6( _this ); + var child_3 = new Xcls_select_ticket_tab( _this ); child_3.ref(); this.el.append_page ( child_3.el , _this.label_select_ticket.el ); - var child_4 = new Xcls_Box26( _this ); + var child_4 = new Xcls_create_ticket_tab( _this ); child_4.ref(); this.el.append_page ( child_4.el , _this.label_create_ticket.el ); - var child_5 = new Xcls_Box52( _this ); + var child_5 = new Xcls_quick_commit_tab( _this ); child_5.ref(); this.el.append_page ( child_5.el , _this.label_quick_commit.el ); } @@ -273,7 +275,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_Box6 : Object + public class Xcls_select_ticket_tab : Object { public Gtk.Box el; private NewBranch _this; @@ -282,9 +284,10 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Box6(NewBranch _owner ) + public Xcls_select_ticket_tab(NewBranch _owner ) { _this = _owner; + _this.select_ticket_tab = this; this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 ); // my vars (dec) @@ -300,6 +303,28 @@ public class NewBranch : Object } // user defined functions + public void load_data (string tid = "") { + + GLib.debug("Loading tickets"); + + var curproj = RooProject.getProjectByRepo(_this.repo); + _this.prmodel.loadProjects(curproj == null ? "" : curproj.id); + + _this.dbmodel.loadTickets(curproj == null ? "": curproj.id, tid); + _this.branchbtn.updateState(); + + _this.ticketsel.el.get_child().get_style_context().remove_class("warning"); + if (tid != "") { + var name = RooTicket.singleton().usernameLocal(); + var ticket = RooTicket.singleton().getById(tid); + _this.name.el.set_text("wip_%s_T%s_%s".printf(name,ticket.id, ticket.summaryToBranchName())); + } else { + _this.ticketsel.el.get_child().get_style_context().add_class("warning"); + } + _this.view.loadTicket(tid); + + + } } public class Xcls_Table7 : Object { @@ -333,22 +358,19 @@ public class NewBranch : Object this.el.attach_defaults ( child_2.el , 0,1,1,2 ); var child_3 = new Xcls_ticketsel( _this ); child_3.ref(); - this.el.attach_defaults ( child_3.el , 1,4,1,2 ); - var child_4 = new Xcls_Button16( _this ); + this.el.attach_defaults ( child_3.el , 1,5,1,2 ); + var child_4 = new Xcls_Label16( _this ); child_4.ref(); - this.el.attach_defaults ( child_4.el , 4,5,1,2 ); - var child_5 = new Xcls_Label17( _this ); + this.el.attach_defaults ( child_4.el , 0,1,3,4 ); + var child_5 = new Xcls_name( _this ); child_5.ref(); - this.el.attach_defaults ( child_5.el , 0,1,3,4 ); - var child_6 = new Xcls_name( _this ); + this.el.attach_defaults ( child_5.el , 0,4,4,5 ); + var child_6 = new Xcls_branchbtn( _this ); child_6.ref(); - this.el.attach_defaults ( child_6.el , 0,4,4,5 ); - var child_7 = new Xcls_createbtn( _this ); + this.el.attach_defaults ( child_6.el , 4,5,4,5 ); + var child_7 = new Xcls_Box19( _this ); child_7.ref(); - this.el.attach_defaults ( child_7.el , 4,5,4,5 ); - var child_8 = new Xcls_Box20( _this ); - child_8.ref(); - this.el.attach_defaults ( child_8.el , 0,5,2,3 ); + this.el.attach_defaults ( child_7.el , 0,5,2,3 ); } // user defined functions @@ -626,7 +648,7 @@ public class NewBranch : Object _this.scrolled_window.el.show(); _this.view.loadTicket(ticket.id); - _this.createbtn.updateState(); + _this.branchbtn.updateState(); //GLib.debug (//"Selection: %s, %s\n", (string) val1, (string) val2); }); @@ -739,38 +761,7 @@ public class NewBranch : Object } - public class Xcls_Button16 : Object - { - public Gtk.Button el; - private NewBranch _this; - - - // my vars (def) - - // ctor - public Xcls_Button16(NewBranch _owner ) - { - _this = _owner; - this.el = new Gtk.Button(); - - // my vars (dec) - - // set gobject values - this.el.expand = false; - this.el.label = "New Ticket"; - - //listeners - this.el.clicked.connect( () => { - _this.el.response(-1); - Ticket.singleton().show(_this.repo); - - }); - } - - // user defined functions - } - - public class Xcls_Label17 : Object + public class Xcls_Label16 : Object { public Gtk.Label el; private NewBranch _this; @@ -779,7 +770,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label17(NewBranch _owner ) + public Xcls_Label16(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Use this as branch name" ); @@ -819,7 +810,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_createbtn : Object + public class Xcls_branchbtn : Object { public Gtk.Button el; private NewBranch _this; @@ -828,10 +819,10 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_createbtn(NewBranch _owner ) + public Xcls_branchbtn(NewBranch _owner ) { _this = _owner; - _this.createbtn = this; + _this.branchbtn = this; this.el = new Gtk.Button(); // my vars (dec) @@ -876,7 +867,7 @@ public class NewBranch : Object } } - public class Xcls_Box20 : Object + public class Xcls_Box19 : Object { public Gtk.Box el; private NewBranch _this; @@ -885,7 +876,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Box20(NewBranch _owner ) + public Xcls_Box19(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Box( Gtk.Orientation.HORIZONTAL, 0 ); @@ -899,7 +890,7 @@ public class NewBranch : Object var child_1 = new Xcls_btn_closed( _this ); child_1.ref(); this.el.add ( child_1.el ); - var child_2 = new Xcls_Label23( _this ); + var child_2 = new Xcls_Label22( _this ); child_2.ref(); this.el.add ( child_2.el ); } @@ -967,7 +958,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_Label23 : Object + public class Xcls_Label22 : Object { public Gtk.Label el; private NewBranch _this; @@ -976,7 +967,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label23(NewBranch _owner ) + public Xcls_Label22(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Refresh Ticket list" ); @@ -1084,7 +1075,7 @@ public class NewBranch : Object - public class Xcls_Box26 : Object + public class Xcls_create_ticket_tab : Object { public Gtk.Box el; private NewBranch _this; @@ -1093,9 +1084,10 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Box26(NewBranch _owner ) + public Xcls_create_ticket_tab(NewBranch _owner ) { _this = _owner; + _this.create_ticket_tab = this; this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 ); // my vars (dec) @@ -1108,6 +1100,9 @@ public class NewBranch : Object } // user defined functions + public return_type XXXX () { + + } } public class Xcls_table : Object { @@ -1131,10 +1126,10 @@ public class NewBranch : Object this.el.margin = 2; this.el.column_spacing = 4; this.el.vexpand = false; - var child_0 = new Xcls_Label28( _this ); + var child_0 = new Xcls_Label27( _this ); child_0.ref(); this.el.attach_defaults ( child_0.el , 0,1,0,1 ); - var child_1 = new Xcls_Label29( _this ); + var child_1 = new Xcls_Label28( _this ); child_1.ref(); this.el.attach_defaults ( child_1.el , 1,2,0,1 ); var child_2 = new Xcls_project_id( _this ); @@ -1143,50 +1138,50 @@ public class NewBranch : Object var child_3 = new Xcls_summary( _this ); child_3.ref(); this.el.attach_defaults ( child_3.el , 1,4,1,2 ); - var child_4 = new Xcls_Label34( _this ); + var child_4 = new Xcls_Label33( _this ); child_4.ref(); this.el.attach_defaults ( child_4.el , 0,1,2,3 ); var child_5 = new Xcls_milestone_id( _this ); child_5.ref(); this.el.attach_defaults ( child_5.el , 0,1,3,4 ); - var child_6 = new Xcls_Label37( _this ); + var child_6 = new Xcls_Label36( _this ); child_6.ref(); this.el.attach_defaults ( child_6.el , 1,4,2,3 ); var child_7 = new Xcls_description( _this ); child_7.ref(); this.el.attach_defaults ( child_7.el , 1,4,3,12 ); - var child_8 = new Xcls_Label39( _this ); + var child_8 = new Xcls_Label38( _this ); child_8.ref(); this.el.attach_defaults ( child_8.el , 0,1,4,5 ); var child_9 = new Xcls_priority_id( _this ); child_9.ref(); this.el.attach_defaults ( child_9.el , 0,1,5,6 ); - var child_10 = new Xcls_Label42( _this ); + var child_10 = new Xcls_Label41( _this ); child_10.ref(); this.el.attach_defaults ( child_10.el , 0,1,6,7 ); var child_11 = new Xcls_severity_id( _this ); child_11.ref(); this.el.attach_defaults ( child_11.el , 0,1,7,8 ); - var child_12 = new Xcls_Label45( _this ); + var child_12 = new Xcls_Label44( _this ); child_12.ref(); this.el.attach_defaults ( child_12.el , 0,1,8,9 ); var child_13 = new Xcls_classification_id( _this ); child_13.ref(); this.el.attach_defaults ( child_13.el , 0,1,9,10 ); - var child_14 = new Xcls_Label48( _this ); + var child_14 = new Xcls_Label47( _this ); child_14.ref(); this.el.attach_defaults ( child_14.el , 0,1,10,11 ); var child_15 = new Xcls_developer_id( _this ); child_15.ref(); this.el.attach_defaults ( child_15.el , 0,1,11,12 ); - var child_16 = new Xcls_Button51( _this ); + var child_16 = new Xcls_Button50( _this ); child_16.ref(); this.el.attach_defaults ( child_16.el , 0,4,13,14 ); } // user defined functions } - public class Xcls_Label28 : Object + public class Xcls_Label27 : Object { public Gtk.Label el; private NewBranch _this; @@ -1195,7 +1190,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label28(NewBranch _owner ) + public Xcls_Label27(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Project" ); @@ -1210,7 +1205,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_Label29 : Object + public class Xcls_Label28 : Object { public Gtk.Label el; private NewBranch _this; @@ -1219,7 +1214,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label29(NewBranch _owner ) + public Xcls_Label28(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Summary" ); @@ -1254,10 +1249,10 @@ public class NewBranch : Object this.loading = false; // set gobject values - var child_0 = new Xcls_prcellrenderer( _this ); + var child_0 = new Xcls_tprcellrenderer( _this ); child_0.ref(); this.el.pack_start ( child_0.el , true ); - var child_1 = new Xcls_prmodel( _this ); + var child_1 = new Xcls_tprmodel( _this ); child_1.ref(); this.el.set_model ( child_1.el ); @@ -1315,7 +1310,7 @@ public class NewBranch : Object this.el.get_active_iter (out iter); - _this.prmodel.el.get_value (iter, 0, out val1); + _this.tprmodel.el.get_value (iter, 0, out val1); return (string) val1; @@ -1325,7 +1320,7 @@ public class NewBranch : Object } } - public class Xcls_prcellrenderer : Object + public class Xcls_tprcellrenderer : Object { public Gtk.CellRendererText el; private NewBranch _this; @@ -1334,10 +1329,10 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_prcellrenderer(NewBranch _owner ) + public Xcls_tprcellrenderer(NewBranch _owner ) { _this = _owner; - _this.prcellrenderer = this; + _this.tprcellrenderer = this; this.el = new Gtk.CellRendererText(); // my vars (dec) @@ -1348,7 +1343,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_prmodel : Object + public class Xcls_tprmodel : Object { public Gtk.ListStore el; private NewBranch _this; @@ -1357,10 +1352,10 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_prmodel(NewBranch _owner ) + public Xcls_tprmodel(NewBranch _owner ) { _this = _owner; - _this.prmodel = this; + _this.tprmodel = this; this.el = new Gtk.ListStore( 2, typeof(string),typeof(string) ); // my vars (dec) @@ -1430,7 +1425,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_Label34 : Object + public class Xcls_Label33 : Object { public Gtk.Label el; private NewBranch _this; @@ -1439,7 +1434,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label34(NewBranch _owner ) + public Xcls_Label33(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Milestone" ); @@ -1561,7 +1556,7 @@ public class NewBranch : Object } - public class Xcls_Label37 : Object + public class Xcls_Label36 : Object { public Gtk.Label el; private NewBranch _this; @@ -1570,7 +1565,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label37(NewBranch _owner ) + public Xcls_Label36(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Description" ); @@ -1608,7 +1603,7 @@ public class NewBranch : Object // user defined functions } - public class Xcls_Label39 : Object + public class Xcls_Label38 : Object { public Gtk.Label el; private NewBranch _this; @@ -1617,7 +1612,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label39(NewBranch _owner ) + public Xcls_Label38(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Priority" ); @@ -1731,7 +1726,7 @@ public class NewBranch : Object } - public class Xcls_Label42 : Object + public class Xcls_Label41 : Object { public Gtk.Label el; private NewBranch _this; @@ -1740,7 +1735,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label42(NewBranch _owner ) + public Xcls_Label41(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Severity" ); @@ -1852,7 +1847,7 @@ public class NewBranch : Object } - public class Xcls_Label45 : Object + public class Xcls_Label44 : Object { public Gtk.Label el; private NewBranch _this; @@ -1861,7 +1856,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label45(NewBranch _owner ) + public Xcls_Label44(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Classification" ); @@ -1976,7 +1971,7 @@ public class NewBranch : Object } - public class Xcls_Label48 : Object + public class Xcls_Label47 : Object { public Gtk.Label el; private NewBranch _this; @@ -1985,7 +1980,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Label48(NewBranch _owner ) + public Xcls_Label47(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Label( "Assign to" ); @@ -2105,7 +2100,7 @@ public class NewBranch : Object } - public class Xcls_Button51 : Object + public class Xcls_Button50 : Object { public Gtk.Button el; private NewBranch _this; @@ -2114,7 +2109,7 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Button51(NewBranch _owner ) + public Xcls_Button50(NewBranch _owner ) { _this = _owner; this.el = new Gtk.Button(); @@ -2122,7 +2117,7 @@ public class NewBranch : Object // my vars (dec) // set gobject values - this.el.label = "Create Ticket"; + this.el.label = "Create Ticket & Branch"; // init method @@ -2186,7 +2181,7 @@ public class NewBranch : Object - public class Xcls_Box52 : Object + public class Xcls_quick_commit_tab : Object { public Gtk.Box el; private NewBranch _this; @@ -2195,19 +2190,226 @@ public class NewBranch : Object // my vars (def) // ctor - public Xcls_Box52(NewBranch _owner ) + public Xcls_quick_commit_tab(NewBranch _owner ) { _this = _owner; + _this.quick_commit_tab = this; this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 ); // my vars (dec) // set gobject values this.el.homogeneous = false; + var child_0 = new Xcls_Table52( _this ); + child_0.ref(); + this.el.pack_start ( child_0.el , false,false,0 ); + var child_1 = new Xcls_ScrolledWindow56( _this ); + child_1.ref(); + this.el.add ( child_1.el ); + } + + // user defined functions + } + public class Xcls_Table52 : Object + { + public Gtk.Table el; + private NewBranch _this; + + + // my vars (def) + + // ctor + public Xcls_Table52(NewBranch _owner ) + { + _this = _owner; + this.el = new Gtk.Table( 2, 5, true ); + + // my vars (dec) + + // set gobject values + this.el.expand = false; + this.el.margin = 2; + this.el.column_spacing = 4; + this.el.vexpand = false; + var child_0 = new Xcls_Label53( _this ); + child_0.ref(); + this.el.attach_defaults ( child_0.el , 0,1,0,1 ); + var child_1 = new Xcls_commit_message( _this ); + child_1.ref(); + this.el.attach_defaults ( child_1.el , 0,4,1,2 ); + var child_2 = new Xcls_createbtn( _this ); + child_2.ref(); + this.el.attach_defaults ( child_2.el , 4,5,1,2 ); + } + + // user defined functions + } + public class Xcls_Label53 : Object + { + public Gtk.Label el; + private NewBranch _this; + + + // my vars (def) + + // ctor + public Xcls_Label53(NewBranch _owner ) + { + _this = _owner; + this.el = new Gtk.Label( "Just commit with this comment" ); + + // my vars (dec) + + // set gobject values + this.el.halign = Gtk.Align.START; + this.el.justify = Gtk.Justification.RIGHT; + this.el.xalign = 0.900000f; + } + + // user defined functions + } + + public class Xcls_commit_message : Object + { + public Gtk.Entry el; + private NewBranch _this; + + + // my vars (def) + + // ctor + public Xcls_commit_message(NewBranch _owner ) + { + _this = _owner; + _this.commit_message = this; + this.el = new Gtk.Entry(); + + // my vars (dec) + + // set gobject values + this.el.visible = true; + } + + // user defined functions + } + + public class Xcls_createbtn : Object + { + public Gtk.Button el; + private NewBranch _this; + + + // my vars (def) + + // ctor + public Xcls_createbtn(NewBranch _owner ) + { + _this = _owner; + _this.createbtn = this; + this.el = new Gtk.Button(); + + // my vars (dec) + + // set gobject values + this.el.label = "Commit Changes"; + + // init method + + { + this.el.get_style_context().add_class("suggested-action"); + } + + //listeners + this.el.clicked.connect( () => { + + GLib.debug("fire response = 1"); + + var ticket_id = _this.ticketsel.selectedTicketId(); + + if (ticket_id == "") { + _this.ticketsel.el.get_child().get_style_context().add_class("warning"); + return; + } + + _this.el.response(1); + }); + } + + // user defined functions + 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_ScrolledWindow56 : Object + { + public Gtk.ScrolledWindow el; + private NewBranch _this; + + + // my vars (def) + + // ctor + public Xcls_ScrolledWindow56(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") + ); + } + + // user defined functions + } + + }