From 2df3cfe5443ea65a796c937f6c379e08ffa53c45 Mon Sep 17 00:00:00 2001
From: Fomin Denis <fominde@gmail.com>
Date: Wed, 3 Nov 2010 23:09:24 +0300
Subject: [PATCH] whiteboard plugin. added border to the main container

---
 plugins/whiteboard/whiteboard_widget.ui | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/whiteboard/whiteboard_widget.ui b/plugins/whiteboard/whiteboard_widget.ui
index 403e2dfbc..8ec4685cc 100644
--- a/plugins/whiteboard/whiteboard_widget.ui
+++ b/plugins/whiteboard/whiteboard_widget.ui
@@ -4,6 +4,7 @@
   <!-- interface-naming-policy project-wide -->
   <object class="GtkHBox" id="whiteboard_hbox">
     <property name="visible">True</property>
+    <property name="border_width">3</property>
     <property name="spacing">6</property>
     <child>
       <placeholder/>
-- 
2.11.4.GIT