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);