4 ms·That's definitely still how it works on ubuntu 17.10. Then ctrl pgup/pgdown to switch tabby mcjiggerlog 9y agoThat's definitely still how it works on ubuntu 17.10. Then ctrl pgup/pgdown to switch tab