Re: [isabelle] Dockable panels
On Tue, 19 Jan 2016, Lawrence Paulson wrote:
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.
In this proposal, what is the canonical place for the Output dockable?
This archive was generated by a fusion of
Pipermail (Mailman edition) and