[gedit] externaltools: set the toolbar style as primary in the manager

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 0ac7ea1d95a5887b5189efa4e78714ebd22ab980
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Jun 20 17:01:51 2011 +0200

    externaltools: set the toolbar style as primary in the manager

 plugins/externaltools/tools/tools.ui |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 0f469fc..bd0b1d8 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -267,6 +267,9 @@
                   <object class="GtkToolbar" id="toolbar1">
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
+                    <style>
+                      <class name="inline-toolbar"/>
+                    </style>
                     <child>
                       <object class="GtkToolButton" id="add-tool-button">
                         <property name="visible">True</property>