shell: rename space_for_{window -> surface}
This commit is contained in:
parent
4de316cbce
commit
8ecc1345a6
6 changed files with 14 additions and 14 deletions
|
|
@ -34,7 +34,7 @@ impl Shell {
|
|||
) {
|
||||
// TODO touch grab
|
||||
if let Some(pointer) = seat.get_pointer() {
|
||||
let workspace = self.space_for_surface_mut(window.toplevel().wl_surface()).unwrap();
|
||||
let workspace = self.space_for_window_mut(window.toplevel().wl_surface()).unwrap();
|
||||
if workspace.fullscreen.values().any(|w| w == window) {
|
||||
return;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue