[gnome-builder/wip/gtk4-port: 1362/1774] plugins/editorui: add todo for later




commit 32f36654c791128748e84effc16ba97a1fbf1268
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jun 5 11:30:38 2022 -0700

    plugins/editorui: add todo for later

 src/plugins/editorui/gbp-editorui-workspace-addin.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-workspace-addin.c 
b/src/plugins/editorui/gbp-editorui-workspace-addin.c
index 3f5839022..44c816dfa 100644
--- a/src/plugins/editorui/gbp-editorui-workspace-addin.c
+++ b/src/plugins/editorui/gbp-editorui-workspace-addin.c
@@ -774,6 +774,8 @@ gbp_editorui_workspace_addin_page_changed (IdeWorkspaceAddin *addin,
       indent_width = g_property_action_new ("indent-width", view, "indent-width");
       tab_width = g_property_action_new ("tab-width", view, "tab-width");
       tabs_v_spaces = g_property_action_new ("use-spaces", view, "insert-spaces-instead-of-tabs");
+
+      /* TODO: This needs a transform to handle NULL */
       language = g_property_action_new ("language", buffer, "language-id");
 
       g_action_map_add_action (G_ACTION_MAP (self->actions), G_ACTION (encoding_action));


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