[isabelle] Window title and icon of Isabelle/jEdit says "jEdit"



Hi Makarius,

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.

Cheers,

Christoph

-- 
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 MHonArc.