[gnome-builder] plugins/editorui: use workspace property

[Christian Hergert <chergert src gnome org>]

commit a7f7edd2e49609ad9aaabe10a0dc0e574e17b072
Author: Christian Hergert <chergert redhat com>
Date:   Thu Sep 15 22:48:54 2022 -0700

    plugins/editorui: use workspace property

 src/plugins/editorui/gbp-editorui-workbench-addin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/editorui/gbp-editorui-workbench-addin.c 
b/src/plugins/editorui/gbp-editorui-workbench-addin.c
index eff3b37dd..4fcd6f271 100644
--- a/src/plugins/editorui/gbp-editorui-workbench-addin.c
+++ b/src/plugins/editorui/gbp-editorui-workbench-addin.c
@@ -309,9 +309,9 @@ gbp_editorui_workbench_addin_save_session_page_cb (IdePage  *page,
 
       ide_session_item_set_module_name (item, "editorui");
       ide_session_item_set_type_hint (item, "IdeEditorPage");
+      ide_session_item_set_workspace (item, id);
       ide_session_item_set_position (item, position);
       ide_session_item_set_metadata (item, "uri", "s", uri);
-      ide_session_item_set_metadata (item, "workspace", "s", id);
       ide_session_item_set_metadata (item, "selection", "((uu)(uu))",
                                      gtk_text_iter_get_line (&insert),
                                      gtk_text_iter_get_line_offset (&insert),