Assign a percentage for padding.

This is manually computed, because GTK is just complaining it doesn't support percentages.
This commit is contained in:
Adrian Cochrane 2018-08-24 13:33:53 +12:00
parent 8028f4a46e
commit e5e4665163

View File

@ -44,6 +44,7 @@ public class WriteAs.MainWindow : Gtk.ApplicationWindow {
scrolled.add(canvas); scrolled.add(canvas);
add(scrolled); add(scrolled);
size_allocate.connect((_) => {adjust_text_style();});
canvas.event_after.connect((evt) => { canvas.event_after.connect((evt) => {
// TODO This word count algorithm may be quite naive // TODO This word count algorithm may be quite naive
// and could do improvement. // and could do improvement.
@ -192,7 +193,11 @@ public class WriteAs.MainWindow : Gtk.ApplicationWindow {
if (cur_styles != null) if (cur_styles != null)
Gtk.StyleContext.remove_provider_for_screen(Gdk.Screen.get_default(), cur_styles); Gtk.StyleContext.remove_provider_for_screen(Gdk.Screen.get_default(), cur_styles);
var css = "GtkTextView {font: %s; font-size: %dpt; padding: 20px; -GtkWidget-cursor-color: #5ac4ee;}".printf(font, font_size); var padding = canvas.get_allocated_width()*0.10;
var css = ("GtkTextView {font: %s; font-size: %dpx; padding: 20px;" +
" padding-left: %ipx; padding-right: %ipx;" +
" -GtkWidget-cursor-color: #5ac4ee;}").printf(font, font_size,
(int) padding, (int) padding);
if (dark_mode) { if (dark_mode) {
// Try to detect whether the system provided a better dark mode. // Try to detect whether the system provided a better dark mode.
var text_color = styles.get_color(Gtk.StateFlags.ACTIVE); var text_color = styles.get_color(Gtk.StateFlags.ACTIVE);