Searched refs:wasOnCurrentDesktop (Results 1 – 1 of 1) sorted by relevance
454 const bool wasOnCurrentDesktop = isOnCurrentDesktop() && was_desk >= 0; in setDesktops() local505 if (wasOnCurrentDesktop != isOnCurrentDesktop()) in setDesktops()