[gnome-builder/wip/gtk4-port: 526/1774] plugins/editorui: hide insert/overwrite label by default




commit 1f9db6a55792f3667ffc11e5fe8e52799cc2744b
Author: Christian Hergert <chergert redhat com>
Date:   Sat Apr 9 10:08:38 2022 -0700

    plugins/editorui: hide insert/overwrite label by default

 src/plugins/editorui/gbp-editorui-workspace-addin.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-workspace-addin.c 
b/src/plugins/editorui/gbp-editorui-workspace-addin.c
index 9a312c926..d10226377 100644
--- a/src/plugins/editorui/gbp-editorui-workspace-addin.c
+++ b/src/plugins/editorui/gbp-editorui-workspace-addin.c
@@ -361,6 +361,7 @@ gbp_editorui_workspace_addin_load (IdeWorkspaceAddin *addin,
   self->mode_label = g_object_new (GTK_TYPE_LABEL,
                                    "label", "INS",
                                    "width-chars", 4,
+                                   "visible", FALSE,
                                    NULL);
   panel_statusbar_add_suffix (self->statusbar, GTK_WIDGET (self->mode_label));
 


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