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

[Christian Hergert <chergert src gnome org>]

commit 2160dca6ab4ddc22abc2e5b20ae8608111ba0588
Author: Christian Hergert <chergert redhat com>
Date:   Thu Sep 15 22:49:04 2022 -0700

    plugins/terminal: use workspace property

 src/plugins/terminal/gbp-terminal-workspace-addin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/terminal/gbp-terminal-workspace-addin.c 
b/src/plugins/terminal/gbp-terminal-workspace-addin.c
index 30db4fab2..845d7ca39 100644
--- a/src/plugins/terminal/gbp-terminal-workspace-addin.c
+++ b/src/plugins/terminal/gbp-terminal-workspace-addin.c
@@ -356,9 +356,9 @@ gbp_terminal_workspace_addin_save_session_page_cb (IdePage  *page,
 
       ide_session_item_set_module_name (item, "terminal");
       ide_session_item_set_type_hint (item, "IdeTerminalPage");
+      ide_session_item_set_workspace (item, id);
       ide_session_item_set_position (item, position);
       ide_session_item_set_metadata (item, "title", "s", title);
-      ide_session_item_set_metadata (item, "workspace", "s", id);
       ide_session_item_set_metadata (item, "text", "s", text);
 
       if (page == ide_workspace_get_most_recent_page (workspace))