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;
Sun, 23 Aug 2015 22:47:01 +0200 wenzelm more explicit type Debugger.Context;
Sun, 23 Aug 2015 12:27:51 +0200 wenzelm proper GUI event;
Sun, 23 Aug 2015 12:10:14 +0200 wenzelm update focus more thoroughly;
Sat, 15 Aug 2015 17:38:20 +0200 wenzelm allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
Wed, 12 Aug 2015 02:20:06 +0200 wenzelm clarified;
Wed, 12 Aug 2015 01:25:00 +0200 wenzelm clarified init/exit vs. session phase;
Tue, 11 Aug 2015 21:24:11 +0200 wenzelm suppress threads without debug state;
Tue, 11 Aug 2015 21:15:29 +0200 wenzelm clarified events;
Tue, 11 Aug 2015 20:49:22 +0200 wenzelm clarified GUI event handling;
Tue, 11 Aug 2015 20:32:56 +0200 wenzelm tuned signature;
Tue, 11 Aug 2015 20:28:11 +0200 wenzelm tuned;
Tue, 11 Aug 2015 20:21:13 +0200 wenzelm misc tuning and clarification;
Tue, 11 Aug 2015 20:05:27 +0200 wenzelm print values for stack entry;
Tue, 11 Aug 2015 18:42:29 +0200 wenzelm clarified output;
Tue, 11 Aug 2015 14:13:36 +0200 wenzelm init/exit depending on active debugger panels;
less more (0) -30 tip