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