(toSpace, animate = true)
| 2795 | } |
| 2796 | |
| 2797 | _animateToSpaceOrdered(toSpace, animate = true) { |
| 2798 | // Always show the topbar when using the workspace stack |
| 2799 | Topbar.fixTopBar(); |
| 2800 | |
| 2801 | toSpace = toSpace || this.selectedSpace; |
| 2802 | let monitorSpaces = this._getOrderedSpaces(toSpace.monitor); |
| 2803 | |
| 2804 | let currentMonitor = toSpace.monitor; |
| 2805 | this.selectedSpace = toSpace; |
| 2806 | |
| 2807 | const scale = 1; |
| 2808 | const padding_percentage = 4; |
| 2809 | const to = monitorSpaces.indexOf(toSpace); |
| 2810 | monitorSpaces.forEach((space, i) => { |
| 2811 | space.setMonitor(currentMonitor); |
| 2812 | space.startAnimate(); |
| 2813 | |
| 2814 | Easer.removeEase(space.border); |
| 2815 | space.border.opacity = 255; |
| 2816 | space.border.show(); |
| 2817 | |
| 2818 | space.show(); |
| 2819 | |
| 2820 | let padding = (space.height * scale / 100) * padding_percentage; |
| 2821 | let y = ((space.height + padding) * (i - to)) * scale; |
| 2822 | if (animate) { |
| 2823 | Easer.addEase(space.actor, { |
| 2824 | time: Settings.prefs.animation_time, |
| 2825 | y, scale_y: scale, scale_x: scale, |
| 2826 | }); |
| 2827 | } else { |
| 2828 | // Remove any lingering onComplete handlers from animateToSpace |
| 2829 | Easer.removeEase(space.actor); |
| 2830 | |
| 2831 | space.actor.y = y; |
| 2832 | space.actor.scale_y = scale; |
| 2833 | space.actor.scale_x = scale; |
| 2834 | } |
| 2835 | |
| 2836 | let selected = space.selectedWindow; |
| 2837 | if (selected && selected.fullscreen && space !== toSpace) { |
| 2838 | selected.clone.y = Main.panel.height + Settings.prefs.vertical_margin; |
| 2839 | } |
| 2840 | }); |
| 2841 | } |
| 2842 | |
| 2843 | initWorkspaceSequence() { |
| 2844 | if (inPreview) { |
no test coverage detected