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



Good idea. I would also suggest the title to read something like :
"Isabelle/jEdit 2013-2", so that the* version is also clearly*
visible.


On Fri, Nov 29, 2013 at 7:40 AM, Christoph LANGE <
math.semantic.web at gmail.com> wrote:

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


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
www.inf.pucrs.br/alfio
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil



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