[gnome-builder] menus: add menu for omni bar device selection
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] menus: add menu for omni bar device selection
- Date: Tue, 27 Feb 2018 02:07:55 +0000 (UTC)
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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]