21.7.12 you can now jump to the same headline multiple times in the navigation panel (for #2192) the focus will now stay in the navigation panel after using it via mouse or keyboard (for #2193) added more translation (thank you marcoxbresciani, rawfreeamy, rakekniven, marterra, amirkbrpr)
