Re: [isabelle] Dockable panels

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.


> On 19 Jan 2016, at 15:10, Makarius <makarius at> wrote:
> Is there a problem for seasoned OS X users to guess how jEdit dockables are moved around?  This is a plain question, not a rhetoric one. (I am not a seasoned OS X user, although I am occasionally running it for 10 years.)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.