[gnome-system-monitor] disks: Add 4px padding to 'Used' column progress bar

[Robert Roth <robertroth src gnome org>]

commit 65d851e4cae1fcd9136af926f6061c151703b3dc
Author: Derek Stavis <derek dba eng br>
Date:   Sun Mar 27 17:39:22 2016 -0300

    disks: Add 4px padding to 'Used' column progress bar
    
    The padding helps to keep visual harmony, by making the progress
    bar approach the height of other cells' content.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=764266

 src/disks.cpp |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/disks.cpp b/src/disks.cpp
index b0d27ca..d6a8c25 100644
--- a/src/disks.cpp
+++ b/src/disks.cpp
@@ -456,6 +456,7 @@ create_disk_view(GsmApplication *app, GtkBuilder *builder)
     gtk_tree_view_column_set_title(col, _(titles[DISK_USED]));
 
     cell = gtk_cell_renderer_progress_new();
+    gtk_cell_renderer_set_padding(cell, 4.0f, 4.0f);
     gtk_tree_view_column_pack_start(col, cell, TRUE);
     gtk_tree_view_column_set_attributes(col, cell, "value",
                                         DISK_USED_PERCENTAGE, NULL);