Hi all If one opens several tabs, in particular 4 or more and changes the order of the tabs using the mouse, then this order change is not taken into account for the key-combinations <Ctrl><PgUp> or <Ctrl><PgDn> to navigate through the tabs. They still follow the original tab-order. - Sebastian
