Re: [isabelle] RC1: etc/symbols file from 2015 crashes jedit tool on startup
I also copied preferences, but the crash behaviour can be triggered by symbols. Removing symbols while keeping preferences and everything works fine
-------- Originalnachricht --------
Betreff: Re: [isabelle] RC1: etc/symbols file from 2015 crashes jedit tool on startup
Von: Lars Hupel
An: Peter Lammich ,isabelle-users
> after copying my personal etc/symbols file to the
> ~/.isabelle/Isabelle2016-RC1/etc/ folder, the command
> "isabelle jedit" shows the splash-screen, and then freezes, never
> displaying the editor, nor printing more messages to output. The
> splash-screen displays "running startup scripts" when it freezes.
are you sure you only copied the symbols file and not the preferences
file, too? Judging by the error message, it looks like there is an
invalid "jedit_tooltip_delay" setting there.
This archive was generated by a fusion of
Pipermail (Mailman edition) and