[gnome-builder] plugins/projectui: remove group title
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/projectui: remove group title
- Date: Sun, 28 Aug 2022 05:01:44 +0000 (UTC)
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]