Mon, 30 Aug 2010 10:36:55 +0200 | wenzelm | Document_View.text_area_extension: do not insist in crashing if (weak) assertion is violated; | changeset | files |
Sun, 29 Aug 2010 22:47:36 +0200 | wenzelm | Isabelle/jEdit property for global tooltip dismiss delay; | changeset | files |
Sun, 29 Aug 2010 21:21:37 +0200 | wenzelm | External_Hyperlink: proper error dialog; | changeset | files |