Prover Output window "lost"

[makarius]

Maybe just a general user error: I somehow "lost" my Prover Output window after rearranging the arrangement. Using "Quick Access" to get some "Prover Output" back, it remains inactive, no output is shown.

[andriusvelykis]

Could you elaborate or give a screenshot of your current situation?

If you lose some view, there are several options to restore it within Eclipse:

• Select Window > Show View > Prover Output to open the view again.
• Reset the perspective by selecting Window > Reset Perspective - this will restore initial perspective layout.
• Try to restore minimised parts by selecting minimise/restore buttons on each view area.
• Use the Quick Access: search for Prover Output and selet the view command.

I have tried closing the view or minimising it (or maximising the editor) but in every case the view did react and shows the output..