[gnome-builder/wip/gtk4-port: 526/1774] plugins/editorui: hide insert/overwrite label by default
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 526/1774] plugins/editorui: hide insert/overwrite label by default
- Date: Mon, 11 Jul 2022 22:31:15 +0000 (UTC)
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]