Fix #509: Follow animation settings in the workspace nudge animation (#1088)

This commit is contained in:
José Expósito 2021-03-31 09:21:37 +02:00 committed by GitHub
parent 26e5f2d627
commit 282ee282f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -509,6 +509,10 @@ namespace Gala {
} }
private void play_nudge_animation (Meta.MotionDirection direction) { private void play_nudge_animation (Meta.MotionDirection direction) {
if (!enable_animations) {
return;
}
animating_switch_workspace = true; animating_switch_workspace = true;
var dest = (direction == Meta.MotionDirection.LEFT ? NUDGE_GAP : -NUDGE_GAP); var dest = (direction == Meta.MotionDirection.LEFT ? NUDGE_GAP : -NUDGE_GAP);