[gnome-builder] plugins/projectui: remove group title



commit ba9f506ccb89c701bbb2185c1cdb6dabcdda4352
Author: Christian Hergert <chergert redhat com>
Date:   Sat Aug 27 17:03:48 2022 -0700

    plugins/projectui: remove group title
    
    This is just duplication, just drop it.

 src/plugins/projectui/tweaks.ui | 5 -----
 1 file changed, 5 deletions(-)
---
diff --git a/src/plugins/projectui/tweaks.ui b/src/plugins/projectui/tweaks.ui
index efca264b1..6c90d9fdb 100644
--- a/src/plugins/projectui/tweaks.ui
+++ b/src/plugins/projectui/tweaks.ui
@@ -110,11 +110,6 @@
             <property name="icon-name">info-symbolic</property>
             <child>
               <object class="IdeTweaksGroup" id="overview_id_group">
-                <binding name="title">
-                  <lookup name="title" type="IdeContext">
-                    <lookup name="context">IdeTweaks</lookup>
-                  </lookup>
-                </binding>
                 <child>
                   <object class="IdeTweaksInfo">
                     <property name="title" translatable="yes">Project Identifier</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]