From cc4ae93712c6d91e7af293858e4e5d0b1752239b Mon Sep 17 00:00:00 2001 From: Alan Knowles Date: Wed, 20 May 2015 18:06:12 +0800 Subject: [PATCH] src/Builder4/Editor.bjs src/Builder4/Editor.vala --- src/Builder4/Editor.bjs | 2 +- src/Builder4/Editor.vala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs index 848e407f2..037c6a8de 100644 --- a/src/Builder4/Editor.bjs +++ b/src/Builder4/Editor.bjs @@ -71,7 +71,7 @@ "gboolean highlight_current_line" : true, "$ gboolean auto_indent" : true, "$ xns" : "Gtk", - "| void load" : " (string str) {\n\n// show the help page for the active node..\n //this.get('/Help').show();\n\n\n // this.get('/BottomPane').el.set_current_page(0);\n this.el.get_buffer().set_text(str, str.length);\n this.el.set_undo_manager(null);\n \n var lm = Gtk.SourceLanguageManager.get_default();\n \n var lang = _this.file.language;\n //?? is javascript going to work as js?\n \n ((Gtk.SourceBuffer)(this.el.get_buffer())) .set_language(lm.get_language(lang));\n var buf = this.el.get_buffer();\n \n _this.dirty = false;\n this.el.grab_focus();\n _this.save_button.el.sensitive = false;\n}", + "| void load" : " (string str) {\n\n// show the help page for the active node..\n //this.get('/Help').show();\n\n\n // this.get('/BottomPane').el.set_current_page(0);\n this.el.get_buffer().set_text(str, str.length);\n this.el.get_buffer().set_undo_manager(null);\n \n var lm = Gtk.SourceLanguageManager.get_default();\n \n var lang = _this.file.language;\n //?? is javascript going to work as js?\n \n ((Gtk.SourceBuffer)(this.el.get_buffer())) .set_language(lm.get_language(lang));\n var buf = this.el.get_buffer();\n \n _this.dirty = false;\n this.el.grab_focus();\n _this.save_button.el.sensitive = false;\n}", "indent_width" : 4, "$ show_line_numbers" : true, "items" : [ diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala index 9b4734dee..c1ea3d5f8 100644 --- a/src/Builder4/Editor.vala +++ b/src/Builder4/Editor.vala @@ -327,7 +327,7 @@ public class Editor : Object // this.get('/BottomPane').el.set_current_page(0); this.el.get_buffer().set_text(str, str.length); - this.el.set_undo_manager(null); + this.el.get_buffer().set_undo_manager(null); var lm = Gtk.SourceLanguageManager.get_default(); -- 2.39.2