#214 Missing horizontal scrollbar in hypothesis window

[Paul]

When acting with prover, if you are in the following case :
1- you have only few hypothesis so that there is no need for the window to make the vertical lift be active

2- you have a very long hypothesis so that you cannot see the hypothesis globally in the hypothesis window

the horizontal lift of the hypothesis window is not active and hence you cannot read the end of the long hypothesis.

It seems that the horizontal lift of the hypothesis window may be active only if the vertical lift of the same window is active.

[Laurent Voisin]

Logged In: YES
user_id=1041912
Originator: NO

I have been able to reproduce this on Mac OS X, although the assertion is not entirely true. If I resize the window containing the hypotheses, I can reach the state where I have only an horizontal scrollbar. But this doesn't happen often enough too always allow reading hypotheses.

So this needs to be fixed.

[Aurélien GILLES]

Fixed and added to CVS