Highlighted region in the navigator does not update when resizing the main window.
By page bar/prview I mean here.
Can close .
1. Open a file (with that bar open)
2. Resize the window
3. The highlight part is not updated until clicking on the "page bar" or scrolling the page.