makarius at sketis.net
Thu Sep 12 19:26:31 CEST 2013
On Wed, 11 Sep 2013, C. Diekmann wrote:
> I just found an issue with the theories panel. The width is chosen by
> the longest theory name, no horizontal scrollbar is added. When there is
> an error at the end of my theory files with a long name, I do not get
> visual feedback about it.
I will take another look a bit later.
What is your OS platform and Swing look-and-feel? On Java/Swing this is
the evil parameter that can change everything -- it determines much more
than just "look" and "feel".
More information about the isabelle-dev