From 7223eaad3de570dc6f06c6e16405222f6fbb86eb Mon Sep 17 00:00:00 2001 From: Alan Knowles Date: Wed, 20 May 2015 18:06:50 +0800 Subject: [PATCH] src/Builder4/Editor.bjs src/Builder4/Editor.vala --- src/Builder4/Editor.bjs | 2 +- src/Builder4/Editor.vala | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs index 037c6a8de..c0b277e5c 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.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}", + "| 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 var buf = (Gtk.SourceBuffer)this.el.get_buffer()\n buf.set_text(str, str.length);\n buf.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 c1ea3d5f8..10c4b6db9 100644 --- a/src/Builder4/Editor.vala +++ b/src/Builder4/Editor.vala @@ -326,8 +326,9 @@ public class Editor : Object // this.get('/BottomPane').el.set_current_page(0); - this.el.get_buffer().set_text(str, str.length); - this.el.get_buffer().set_undo_manager(null); + var buf = (Gtk.SourceBuffer)this.el.get_buffer() + buf.set_text(str, str.length); + buf.set_undo_manager(null); var lm = Gtk.SourceLanguageManager.get_default(); -- 2.39.2