[gnome-builder] plugins/buildui: rename group "build environment"



commit fbc9c9865d3a067da286c7eac0d465ee78f16bea
Author: Christian Hergert <chergert redhat com>
Date:   Sat Aug 27 17:04:26 2022 -0700

    plugins/buildui: rename group "build environment"
    
    We can group this with environment editing.

 src/plugins/buildui/tweaks.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/buildui/tweaks.ui b/src/plugins/buildui/tweaks.ui
index e8a939bbb..2b5f0d581 100644
--- a/src/plugins/buildui/tweaks.ui
+++ b/src/plugins/buildui/tweaks.ui
@@ -368,7 +368,7 @@
                 </child>
                 <child>
                   <object class="IdeTweaksGroup">
-                    <property name="title" translatable="yes">SDK</property>
+                    <property name="title" translatable="yes">Build Environment</property>
                     <child>
                       <object class="IdeTweaksWidget">
                         <signal name="create-for-item" handler="create_runtime_list_cb" swapped="true" 
object="GbpBuilduiTweaksAddin"/>


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