Re: [isabelle] Dockable panels
Am 19.01.16 um 16:21 schrieb Lawrence Paulson:
Even though I highly prefer having the state output at the bottom due to
the previously stated reasons I would maybe consider not having it the
default for the following reason:
I would say itâs not about how to move things around, but how the defaults should be, especially since State is a new panel. As others have noted, putting it at the bottom has a number of advantages, and I canât see any advantages of putting it at the right. The out-of-the-box defaults are pretty good, I think they could be even better.
For beginners visibility is more important than comfort.
In the current (2015) default setting the output panel is conflicting
with the Sledgehammer panel. I have observed students (which in my
experience sadly rely a lot on sledgehammer) become oblivious of the
proof state and try to create proofs by just typing in stuff and running
sledgehammer. They get completely lost when you tell them to look at
their proof state to and try to understand why things don't work.
If the horizontal alignment helps to have all panels visible at all
times I'm in favour of having this the default as non-beginners can
still change this to their desire.
If the same can be achieved with the vertical alignment I'm in favour of
this because it's more comfortable and puts the most important panel
(IMHO) at the most prominent place.
This archive was generated by a fusion of
Pipermail (Mailman edition) and