Hi, the problem I posted at 17.08.2007 still exists in the current snapshot:
2. Switching the tabs by accelerator key (alt + key) doesn't work properly. You have the push the key multiple times or hold down the key for some seconds. This behavior seems to be randomly and seems to depend on the complexity of the tabs. Please have a look at this. RegardsHelmut