| Tue, 11 Aug 2015 17:00:16 +0200 | wenzelm | support hyperlinks with optional focus change; | changeset | files |
| Tue, 11 Aug 2015 15:24:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Aug 2015 14:35:08 +0200 | wenzelm | vacuous input means continue, e.g. after exit; | changeset | files |
| Tue, 11 Aug 2015 14:21:00 +0200 | wenzelm | GUI actions depend on active debugger; | changeset | files |
| Tue, 11 Aug 2015 14:13:36 +0200 | wenzelm | init/exit depending on active debugger panels; | changeset | files |
| Tue, 11 Aug 2015 13:50:59 +0200 | wenzelm | eliminated cancel operation: disrupts normal evaluation of thread; | changeset | files |