- "* pack" : "attach_defaults,0,5,2,3",
- "xtype" : "Box",
- "$ xns" : "Gtk",
- "Gtk.Orientation orientation" : "Gtk.Orientation.HORIZONTAL",
- "items" : [
- {
- "listeners" : {
- "toggled" : "() => {\n\tvar project_id = _this.projectsel.selectedProjectId();\n\t_this.dbmodel.loadTickets(project_id);\t\n}"
- },
- "id" : "btn_not_me",
- "string label" : "Show tickets not assigned to me",
- "* pack" : "add",
- "xtype" : "CheckButton",
- "$ xns" : "Gtk"
- },
- {
- "listeners" : {
- "toggled" : "() => {\n \tvar project_id = _this.projectsel.selectedProjectId();\n\t_this.dbmodel.loadTickets(project_id);\t\n\t \n}"
- },
- "id" : "btn_closed",
- "xtype" : "CheckButton",
- "string label" : "Show closed Tickets",
- "* pack" : "add",
- "$ xns" : "Gtk"
- },
- {
- "listeners" : {
- "activate_link" : "(uri) => {\n\tif (uri == \"refresh\") {\n\t\tRooProject.reload();\n\t\tvar curproj = RooProject.getProjectByRepo(_this.repo);\n\t\t _this.prmodel.loadProjects(curproj == null ? \"\": curproj.id);\n\n\t\t_this.dbmodel.loadTickets(curproj == null ? \"\": curproj.id);\t\t\n\t}\n\treturn true;\n}"
- },
- "bool use_markup" : true,
- "Gtk.Align halign" : "Gtk.Align.END",
- "bool hexpand" : true,
- "* pack" : "add",
- "xtype" : "Label",
- "string label" : "<a href=\"refresh\">Refresh Ticket list</a>",
- "$ xns" : "Gtk"
- }
- ]
+ "id" : "diff_view",
+ "* init" : " \n var description = Pango.FontDescription.from_string(\"monospace\");\n description.set_size(9000);\n this.el.override_font(description);\n var lm = Gtk.SourceLanguageManager.get_default();\n \n ((Gtk.SourceBuffer)(this.el.get_buffer())).set_language(\n lm.get_language(\"diff\")\n );",
+ "xtype" : "View",
+ "* pack" : "add",
+ "$ xns" : "GtkSource"