Re: [isabelle] Dockable panels
On Tue, 19 Jan 2016, Jasmin Blanchette wrote:
Can you provide reasons for that suggestion [changing the default
And now we give you reasons for changing the default (in Isabelle, not
on our machines), and you tell us we should read the documentation.
There is a disconnect between what you asked for, what you got from us,
and how you reacted to it.
I am not sure what I've actually got.
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.)
The point of the default arrangement is to make it work out-of-the box for
most users, beginners and experts alike. It is the result of the past 3
years looking closely what beginners and experts have, or could have.
This archive was generated by a fusion of
Pipermail (Mailman edition) and