[evince/wip/gpoo/improve-message-area] message-area: Add border

[Germán Poo-Caamaño <gpoo src gnome org>]

commit a8b643663c0e981e47f4cbddb80ee207a9113539
Author: Germán Poo-Caamaño <gpoo gnome org>
Date:   Fri Nov 9 12:06:59 2018 -0300

    message-area: Add border

 shell/ev-message-area.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/shell/ev-message-area.c b/shell/ev-message-area.c
index 032a8c5f..1a4078dd 100644
--- a/shell/ev-message-area.c
+++ b/shell/ev-message-area.c
@@ -94,6 +94,7 @@ ev_message_area_init (EvMessageArea *area)
        priv = ev_message_area_get_instance_private (area);
 
        priv->main_box = gtk_box_new (GTK_ORIENTATION_VERTICAL, 12);
+       gtk_container_set_border_width (GTK_CONTAINER (priv->main_box), 6);
 
        hbox = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 12);
        vbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 12);