[gedit/wip/3.14-osx: 25/34] [osx] Add preferences section in tools menu

[Jesse van den Kieboom <jessevdk src gnome org>]

commit b402c226b0a742f360013476299cb75f2dc987ed
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Fri Aug 22 13:39:15 2014 +0200

    [osx] Add preferences section in tools menu

 gedit/resources/gtk/menus-osx.ui |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/resources/gtk/menus-osx.ui b/gedit/resources/gtk/menus-osx.ui
index 00c5356..9cecad5 100644
--- a/gedit/resources/gtk/menus-osx.ui
+++ b/gedit/resources/gtk/menus-osx.ui
@@ -182,6 +182,9 @@
         <section>
           <attribute name="id">tools-section-1</attribute>
         </section>
+        <section>
+          <attribute name="id">preferences-section</attribute>
+        </section>
       </submenu>
       <submenu>
         <attribute name="label" translatable="yes">Documents</attribute>