From d10d4081a29b9f706689628dc84565212f1d5892 Mon Sep 17 00:00:00 2001 From: Cassidy James Blaede Date: Thu, 20 Dec 2018 10:45:03 -0700 Subject: [PATCH] Use Gtk.TextView.left_margin and right_margin instead of CSS padding --- src/window.vala | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/window.vala b/src/window.vala index 669df0e..3fe6b66 100644 --- a/src/window.vala +++ b/src/window.vala @@ -231,16 +231,17 @@ public class WriteAs.MainWindow : Gtk.ApplicationWindow { Gtk.StyleContext.remove_provider_for_screen(Gdk.Screen.get_default(), cur_styles); var padding = canvas.get_allocated_width()*0.10; - var css = ("textview {font-family: %s; font-size: %dpx; padding: 20px;" + - " padding-left: %ipx; padding-right: %ipx;" + - " caret-color: #5ac4ee;}").printf(font, font_size, - (int) padding, (int) padding); + var css = ("textview {font-family: %s; font-size: %dpx; padding: 20px 0;" + + " caret-color: #5ac4ee;}").printf(font, font_size); cur_styles = new Gtk.CssProvider(); cur_styles.load_from_data(css); Gtk.StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), cur_styles, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION); + // TODO: set left-margin and right-margin on the sourceview to `padding` + canvas.left_margin = canvas.right_margin = (int) padding; + if (save_theme) theme_save(); } catch (Error e) { warning(e.message);