src/Pure/Tools/debugger.scala
Sat, 01 Apr 2017 19:17:15 +0200 wenzelm clarified YXML vs. symbol encoding: operate on whole message;
Tue, 14 Mar 2017 11:16:23 +0100 wenzelm more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
Tue, 14 Mar 2017 10:49:07 +0100 wenzelm more robust debugger initialization, e.g. required for GUI components before actual session startup;
Tue, 14 Mar 2017 00:09:15 +0100 wenzelm misc tuning and simplification;
Mon, 13 Mar 2017 23:24:20 +0100 wenzelm more explicit Session.xml_cache;
Mon, 13 Mar 2017 23:14:44 +0100 wenzelm tuned;
Mon, 13 Mar 2017 20:33:42 +0100 wenzelm proper local debugger state, depending on session;
Mon, 05 Sep 2016 22:09:52 +0200 wenzelm clarified modules;
Mon, 04 Jan 2016 20:34:34 +0100 wenzelm stop dummy sessions as well;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Mon, 24 Aug 2015 20:50:51 +0200 wenzelm reset focus after thread update (with new debug_states);
Mon, 24 Aug 2015 20:32:32 +0200 wenzelm atomic Debugger.status;
Mon, 24 Aug 2015 19:49:17 +0200 wenzelm tuned;
Mon, 24 Aug 2015 11:38:05 +0200 wenzelm maintain per-thread focus context;
Mon, 24 Aug 2015 00:20:20 +0200 wenzelm more explicit debugger caret rendering;
less more (0) -15 tip