Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rename project's 'public'/'private' flag to 'online'/'offline'

Browse source
This commit is contained in:
Max Brunsfeld 2022-06-03 14:39:06 -07:00
parent b2aa831017
commit e18bc24989
4 changed files with 59 additions and 59 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/workspace/src/workspace.rs
View file

@ -1055,8 +1055,8 @@ impl Workspace {
.clone()
.unwrap_or_else(|| self.project.clone());
project.update(cx, |project, cx| {
let public = !project.is_public();
project.set_public(public, cx);
let public = !project.is_online();
project.set_online(public, cx);
});
}