mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-02-01 00:50:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

workspace: add settings() getter

Browse source
This commit is contained in:
Yuya Nishihara 2024-12-30 17:33:13 +09:00
parent 556ef26608
commit 393f3acb03
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lib/src/workspace.rs
View file

@ -408,6 +408,11 @@ impl Workspace {
&self.repo_loader &self.repo_loader
} }
/// Settings for this workspace.
pub fn settings(&self) -> &UserSettings {
self.repo_loader.settings()
}
pub fn working_copy(&self) -> &dyn WorkingCopy { pub fn working_copy(&self) -> &dyn WorkingCopy {
self.working_copy.as_ref() self.working_copy.as_ref()
} }