[gnome-builder] menus: add menu for omni bar device selection

[Christian Hergert <chergert src gnome org>]

commit 3b0eb766029a32581acc29fc9d99591b595306d7
Author: Christian Hergert <chergert redhat com>
Date:   Fri Feb 23 14:11:02 2018 -0800

    menus: add menu for omni bar device selection

 src/libide/gtk/menus.ui | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/libide/gtk/menus.ui b/src/libide/gtk/menus.ui
index 478b7c42f..220b9d531 100644
--- a/src/libide/gtk/menus.ui
+++ b/src/libide/gtk/menus.ui
@@ -247,4 +247,8 @@
       </submenu>
     </section>
   </menu>
+  <menu id="ide-device-manager-menu">
+    <section id="ide-device-manager-menu-section">
+    </section>
+  </menu>
 </interface>