| Thu, 13 Dec 2012 18:00:24 +0100 | wenzelm | enable Isabelle/ML to produce uninterpreted result messages as well; | changeset | files |
| Thu, 13 Dec 2012 17:46:33 +0100 | wenzelm | include command results in tooltip as well; | changeset | files |
| Thu, 13 Dec 2012 17:29:23 +0100 | wenzelm | more careful handling of Dialog_Result, with active area and color feedback; | changeset | files |
| Thu, 13 Dec 2012 13:52:18 +0100 | wenzelm | identify dialogs via official serial and maintain as result message; | changeset | files |
| Wed, 12 Dec 2012 23:36:07 +0100 | wenzelm | rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.; | changeset | files |
| Wed, 12 Dec 2012 21:50:42 +0100 | wenzelm | support dialog via document content; | changeset | files |