[isabelle] Window title and icon of Isabelle/jEdit says "jEdit"
I just realised what could be one potential source for people referring
to Isabelle/jEdit as "jEdit": the title of the window reads "jEdit -
<filename>" and shows the jEdit icon. It might be an easy fix to change
the title to "Isabelle/jEdit" and to replace the icon with Isabelle's.
Christoph Lange, Enterprise Information Systems Department
Applied Computer Science @ University of Bonn; Fraunhofer IAIS
http://langec.wordpress.com/about, Skype duke4701
→ Web Intelligence, Mining and Semantics (WIMS), Thessaloniki, Greece,
2–4 June 2014. Submission until 9 Dec. http://wims14.csd.auth.gr
This archive was generated by a fusion of
Pipermail (Mailman edition) and