Re: [isabelle] Dockable panels
Another way is to use Control+Click on the text selector text "State" of
the state panel, keeping the mouse button pressed, and selecting one of the
"Dock at x" options (the same options are in the triangle menu). However,
this is not really more intuitive, I guess.
On Tue, Jan 19, 2016 at 5:06 PM bnord <bnord01 at gmail.com> wrote:
> Am 19.01.16 um 16:56 schrieb Jasmin Blanchette:
> >> 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.)
> > I've been using OS X exclusively since 2008 and I don't know how to move
> the State panel to the bottom. (I haven't read the docs either; I've
> enabled the "Proof state" feature to get the old school behavior.) I don't
> see any grip on the panel which I could use to move it around, so I don't
> know where to click (seriously). I should indicate that I'm using the
> Macish style whereby the jEdit menu bar is merged with the Mac menu bar.
> It's hidden under the not very descriptive triangle-down symbol, maybe
> something like  would be more intuitive.
This archive was generated by a fusion of
Pipermail (Mailman edition) and