Skip to content
Commit b24302c7 authored by Jonathan Maw's avatar Jonathan Maw
Browse files

_workspaces.py: Add a WorkspaceProject object

WorkspaceProject contains all the information needed to refer back to a
project from its workspace (currently this is the project path and the
element used to create this workspace)

This is stored within a WorkspaceProjectCache object, which keeps
WorkspaceProjects around so they don't need to be loaded from disk
repeatedly.

This is a part of #222
parent 28d1f639
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment