diff options
| author | Denis Fomin <fominde@gmail.com> | 2010-11-03 23:09:24 +0300 |
|---|---|---|
| committer | Denis Fomin <fominde@gmail.com> | 2010-11-03 23:09:24 +0300 |
| commit | 26cb461f4fe69e3bd04179123fef6d6313b414ee (patch) | |
| tree | 9c7c261712e1ef6f1b9b76195d7d421b63e3424f /plugins | |
| parent | e036cf91d371e40f5302bf721bfc1117fc364a26 (diff) | |
whiteboard plugin. added border to the main container
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/whiteboard/whiteboard_widget.ui | 1 |
1 files changed, 1 insertions, 0 deletions
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/> |