Hi, thank for the update
On my Linux system, all seems good with version 3.5.1
I have just a question about " Pitch shifting" :
the value is between -12 and +12 on the Pitch and Speed box.
When I change the pitch of a clip by holding Alt and pressing the Up and Down arrow keys, the value visible is between 
9 and 
9.
A value with two digits (10-11-12) is not visible when changing the pitch of a clip by holding Alt and pressing the Up and Down arrow keys.
Can someone can check please ?
Thanks