[isabelle-dev] Isabelle_10-Sep-2013

[Makarius]

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


 	Makarius