[isabelle] jEdit UI: possibly confusing logic cessions list state
Hi proof authors,
(not sure if it was already asked)
When launching Isabelle/jEdit from the command line with the `-l` option,
in jEdit logic cessions list, the cession specified at the command line is
said to be the default (first item in this list), which is OK. However,
the initially selected cession in this list, is not the default one and
may be another one instead, the one which was selected during a previous
execution of Isabelle/jEdit. Is this on purpose? Isn't it confusing?
It works fine, that's just about what the UI reflects (does not clearly
show what the current logic cession is).
“Syntactic sugar causes cancer of the semi-colons.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and