Commit 8be2b8bd authored by Jonathan Maw's avatar Jonathan Maw
Browse files

_stream.py: Opened workspaces store the project that opened them

parent 21a6029f
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -509,6 +509,9 @@ class Stream():
            with target.timed_activity("Staging sources to {}".format(directory)):
                target._open_workspace()

        workspace_local = workspaces.create_workspace_local(directory)
        workspace_local.write()

        workspaces.save_config()
        self._message(MessageType.INFO, "Saved workspace configuration")