[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.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

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