From 639a0c0cc08938992fc4b8b4e3a6a6eab0a79870 Mon Sep 17 00:00:00 2001
From: Julian Sparber <julian@sparber.net>
Date: Sun, 29 Oct 2017 11:46:23 +0100
Subject: [PATCH] [minor] hide device name edit button

---
 src/window.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/window.ui b/src/window.ui
index 39bbcbb..174279d 100644
--- a/src/window.ui
+++ b/src/window.ui
@@ -133,7 +133,7 @@
                                     </style>
                                     <child>
                                       <object class="GtkMenuButton" id="this-device-settings-button">
-                                        <property name="visible">True</property>
+                                        <property name="visible">False</property>
                                         <property name="can_focus">True</property>
                                         <property name="use-popover">True</property>
                                         <property name="height_request">35</property>