From 944b835fa9c7adc1fa0b07324a61bbc751852dc8 Mon Sep 17 00:00:00 2001 From: Alexander Mikhaylenko Date: Sat, 2 Nov 2019 16:37:06 +0500 Subject: [PATCH] appDisplay: Reduce page switch time to 250ms Be consistent with workspace switching. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/825 --- js/ui/appDisplay.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js index 95976efae..05d0ab3a4 100644 --- a/js/ui/appDisplay.js +++ b/js/ui/appDisplay.js @@ -35,7 +35,7 @@ var MIN_FREQUENT_APPS_COUNT = 3; var VIEWS_SWITCH_TIME = 400; var VIEWS_SWITCH_ANIMATION_DELAY = 100; -var PAGE_SWITCH_TIME = 300; +var PAGE_SWITCH_TIME = 250; var APP_ICON_SCALE_IN_TIME = 500; var APP_ICON_SCALE_IN_DELAY = 700;