From 975c69dec03f361909eaeef06de08c36b83daf78 Mon Sep 17 00:00:00 2001 From: Philipp Emanuel Weidmann Date: Sun, 29 Jan 2017 09:12:12 +0530 Subject: [PATCH] Add padding to list columns --- src/CommandList.vala | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/CommandList.vala b/src/CommandList.vala index 96cde08..93948db 100644 --- a/src/CommandList.vala +++ b/src/CommandList.vala @@ -32,6 +32,8 @@ class Plotinus.CommandList : Gtk.TreeView { } } + private static const string COLUMN_PADDING = " "; + private string filter = ""; private string[] filter_words = {}; @@ -67,7 +69,9 @@ class Plotinus.CommandList : Gtk.TreeView { text_color.alpha = 0.4; append_column(new ListColumn((command) => { - return highlight_words(string.joinv(" \u25B6 ", command.path), filter_words) + " "; + return COLUMN_PADDING + + highlight_words(string.joinv(" \u25B6 ", command.path), filter_words) + + COLUMN_PADDING; }, true, text_color)); append_column(new ListColumn((command) => { @@ -75,7 +79,9 @@ class Plotinus.CommandList : Gtk.TreeView { }, false, null, 1.4)); append_column(new ListColumn((command) => { - return Markup.escape_text(string.joinv(", ", map_string(command.accelerators, format_accelerator))); + return COLUMN_PADDING + + Markup.escape_text(string.joinv(", ", map_string(command.accelerators, format_accelerator))) + + COLUMN_PADDING; }, true, selection_color)); }); }