From 5dd723164049da666a9321e2abd534d968ff55bc Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Thu, 17 Jan 2019 12:56:31 -0800 Subject: [PATCH] html-preview: fix markdown preview --- src/plugins/html-preview/html_preview.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/html-preview/html_preview.py b/src/plugins/html-preview/html_preview.py index 820456777..af0a5a4ac 100644 --- a/src/plugins/html-preview/html_preview.py +++ b/src/plugins/html-preview/html_preview.py @@ -295,8 +295,8 @@ class HtmlPreviewAddin(GObject.Object, Ide.EditorPageAddin): self.sphinx_builddir, visible=True) - column = view.get_ancestor(Ide.LayoutGridColumn) - grid = column.get_ancestor(Ide.LayoutGrid) + column = view.get_ancestor(Ide.GridColumn) + grid = column.get_ancestor(Ide.Grid) index = grid.child_get_property(column, 'index') # If we are past first stack, use the 0 column stack @@ -373,7 +373,7 @@ class HtmlPreviewPage(Ide.Page): self.document = document self.webview = WebKit2.WebView() - self.webview.set_expand(True) + self.webview.props.expand = True self.add(self.webview) self.webview.show() @@ -396,7 +396,7 @@ class HtmlPreviewPage(Ide.Page): self.on_title_changed(document) def on_title_changed(self, buffer): - self.set_title("%s %s" % (buffer.get_title(), _("(Preview)"))) + self.set_title("%s %s" % (buffer.dup_title(), _("(Preview)"))) def web_view_destroyed(self, web_view): self.document.disconnect(self.title_handler) -- GitLab