},
"label" : "Reset / clear changes",
"* ctor" : "new Gtk.ToolButton(new Gtk.Image.from_icon_name (\"gtk-revert-to-saved\", Gtk.IconSize.SMALL_TOOLBAR), null);",
+ "id" : "btn_reset",
"* pack" : "add",
"xtype" : "ToolButton",
"$ xns" : "Gtk",
},
"label" : "Pull updates",
"* ctor" : "new Gtk.ToolButton(new Gtk.Image.from_icon_name (\"gtk-goto-bottom\", Gtk.IconSize.SMALL_TOOLBAR), null);",
+ "id" : "btn_pull",
"xtype" : "ToolButton",
"* pack" : "add",
"$ xns" : "Gtk",