[gnome-builder] plugins/editorui: hide icons from language rows
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/editorui: hide icons from language rows
- Date: Wed, 17 Aug 2022 17:40:05 +0000 (UTC)
commit 9373a9ea137c4fa9249b9ec5e3852b28005c6b96
Author: Christian Hergert <chergert redhat com>
Date: Wed Aug 17 10:39:51 2022 -0700
plugins/editorui: hide icons from language rows
We don't really have useful icons for them all, so it's not helpful here.
src/plugins/editorui/tweaks-language.ui | 1 +
1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/tweaks-language.ui b/src/plugins/editorui/tweaks-language.ui
index 7b2c3981c..9eb1bfeae 100644
--- a/src/plugins/editorui/tweaks-language.ui
+++ b/src/plugins/editorui/tweaks-language.ui
@@ -20,6 +20,7 @@
</binding>
<child>
<object class="IdeTweaksPage" id="language_page">
+ <property name="show-icon">false</property>
<binding name="title">
<lookup name="name" type="GtkSourceLanguage">
<lookup name="item">language_page_factory</lookup>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]