diff --git a/lib/src/workspace.rs b/lib/src/workspace.rs index 4f13f4ee8..561c67865 100644 --- a/lib/src/workspace.rs +++ b/lib/src/workspace.rs @@ -408,6 +408,11 @@ impl Workspace { &self.repo_loader } + /// Settings for this workspace. + pub fn settings(&self) -> &UserSettings { + self.repo_loader.settings() + } + pub fn working_copy(&self) -> &dyn WorkingCopy { self.working_copy.as_ref() }