On Fri, 10 Aug 2012, Gergely Buday wrote:
I think menus could help this, you say they wouldn't, and they do not fit the picture. What other possibilites does jEdit have you refer to?
Try yourself with a clear mind. There is a small README popup to start with.
So far the old-time Proof General users had more problems getting acquainted with Isabelle/jEdit than newcomers.