(window, workspace)
| 1856 | } |
| 1857 | |
| 1858 | actionMoveWindow(window, workspace) { |
| 1859 | if (!Main.sessionMode.hasWorkspaces) |
| 1860 | return; |
| 1861 | |
| 1862 | if (!workspace.active) { |
| 1863 | // This won't have any effect for "always sticky" windows |
| 1864 | // (like desktop windows or docks) |
| 1865 | |
| 1866 | this._workspaceAnimation.movingWindow = window; |
| 1867 | window.change_workspace(workspace); |
| 1868 | |
| 1869 | global.display.clear_mouse_mode(); |
| 1870 | workspace.activate_with_focus(window, global.get_current_time()); |
| 1871 | } |
| 1872 | } |
| 1873 | |
| 1874 | handleWorkspaceScroll(event) { |
| 1875 | if (!this._canScroll) |
no outgoing calls
no test coverage detected