"items" : [
{
"Gtk.ToolbarStyle toolbar_style" : "Gtk.ToolbarStyle.BOTH_HORIZ",
- "xtype" : "Toolbar",
"* pack" : "add",
+ "xtype" : "Toolbar",
"$ xns" : "Gtk",
"items" : [
{
"items" : [
{
"id" : "label_status",
- "* pack" : false,
"xtype" : "Label",
+ "* pack" : false,
"$ xns" : "Gtk",
"utf8 label" : "Status"
},
{
"id" : "label_diff",
- "xtype" : "Label",
"* pack" : false,
+ "xtype" : "Label",
"$ xns" : "Gtk",
"utf8 label" : "Diff"
},
"items" : [
{
"int height_request" : 400,
- "* pack" : "pack_start,true,true,0",
"xtype" : "ScrolledWindow",
+ "* pack" : "pack_start,true,true,0",
"$ xns" : "Gtk",
"items" : [
{
"id" : "diff_view",
- "* init" : " \n var description = Pango.FontDescription.from_string(\"monospace\");\n description.set_size(9000);\n this.el.override_font(description);",
+ "* 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 );\n ",
"xtype" : "View",
"* pack" : "add",
"$ xns" : "GtkSource"
"items" : [
{
"Gtk.ToolbarStyle toolbar_style" : "Gtk.ToolbarStyle.BOTH_HORIZ",
- "* pack" : "add",
"xtype" : "Toolbar",
+ "* pack" : "add",
"$ xns" : "Gtk",
"items" : [
{