Problem when hiding badboxes in the bottom panel
With a document having lots of badboxes, the following occurred:
- Compile the document. Badboxes are shown in the bottom panel.
- (I think I clicked on a badbox, so one badbox was selected in the bottom panel).
- Click on the toggle button to hide the badboxes.
--> What happened is that when hiding the badboxes, the program removed one by one each badbox, but when doing so it has selected each badbox, which opened lots of files and going each time to the specified line. So I then needed to close each file manually.
Not a big problem, but it was a bit a WTF moment :-)