when switching workspace gnome-shell is very slow with workspaces-to-dock enabled

[ndias]

If I enable workspaces-to-dock and then use "ctrl alt up" or "ctrl alt down" to navigate through workspaces gnome-shell is very slow to switch to the next/previous workspace, some times even freezes. If I disable workspaces-to-dock gnome-shell this doesn't happens.

[ondrejtichacek]

I can confirm this is still an issue. The lag when switching workspaces is quite noticeable, I estimate about 500 ms in my system (Arch Linux, Gnome 3.32.1, i7-6800K, GTX Titan X). The lag disappears when I switch the extension off.

[passingthru67]

Are you sure there's no conflict going on with another extension?

[ondrejtichacek]

I disabled all other extensions and the delay is still there. I can't say whether it's the same duration (because it's anyway short), but definitely noticeable. Probably 500 ms was exaggerated, now I would say 250.

[passingthru67]

@ondrejtichacek How are you measuring the lag time?

[ondrejtichacek]

As I said, it's an estimate - I don't know how to measure it precisely. Do you know how?

[passingthru67]

@ondrejtichacek Not without a timer inside the code.