> 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".
Default installation Ubuntu 12.04.3 LTS x86_64 Using bulky 64bit version of Poly/ML Swing look & feel: Nimbus (the default selection) _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev