Thumb button functions are not working in Trados Studio 2021. They also stopped working in a few instances with options, but a restart of the mouse (turning it off and on) or options solved the issue, now both of these are without any effect.