src/Pure/Tools/debugger.scala
2017-04-01 wenzelm 2017-04-01 clarified YXML vs. symbol encoding: operate on whole message;
2017-03-14 wenzelm 2017-03-14 more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
2017-03-14 wenzelm 2017-03-14 more robust debugger initialization, e.g. required for GUI components before actual session startup;
2017-03-14 wenzelm 2017-03-14 misc tuning and simplification;
2017-03-13 wenzelm 2017-03-13 more explicit Session.xml_cache;
2017-03-13 wenzelm 2017-03-13 tuned;
2017-03-13 wenzelm 2017-03-13 proper local debugger state, depending on session; tuned signature;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-01-04 wenzelm 2016-01-04 stop dummy sessions as well;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-08-24 wenzelm 2015-08-24 reset focus after thread update (with new debug_states);
2015-08-24 wenzelm 2015-08-24 atomic Debugger.status; output without thread context is empty; tuned;
2015-08-24 wenzelm 2015-08-24 tuned;
2015-08-24 wenzelm 2015-08-24 maintain per-thread focus context; tuned signature;
2015-08-24 wenzelm 2015-08-24 more explicit debugger caret rendering;
2015-08-23 wenzelm 2015-08-23 more explicit type Debugger.Context;
2015-08-23 wenzelm 2015-08-23 proper GUI event;
2015-08-23 wenzelm 2015-08-23 update focus more thoroughly;
2015-08-15 wenzelm 2015-08-15 allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
2015-08-12 wenzelm 2015-08-12 clarified;
2015-08-12 wenzelm 2015-08-12 clarified init/exit vs. session phase;
2015-08-11 wenzelm 2015-08-11 suppress threads without debug state;
2015-08-11 wenzelm 2015-08-11 clarified events; tuned signature;
2015-08-11 wenzelm 2015-08-11 clarified GUI event handling;
2015-08-11 wenzelm 2015-08-11 tuned signature;
2015-08-11 wenzelm 2015-08-11 tuned;
2015-08-11 wenzelm 2015-08-11 misc tuning and clarification;
2015-08-11 wenzelm 2015-08-11 print values for stack entry;
2015-08-11 wenzelm 2015-08-11 clarified output;
2015-08-11 wenzelm 2015-08-11 init/exit depending on active debugger panels;
2015-08-11 wenzelm 2015-08-11 eliminated cancel operation: disrupts normal evaluation of thread;
2015-08-10 wenzelm 2015-08-10 tuned signature; more rendering;
2015-08-10 wenzelm 2015-08-10 set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2015-08-10 wenzelm 2015-08-10 rendering for debugger/breakpoint active state;
2015-08-10 wenzelm 2015-08-10 follow debugger focus;
2015-08-08 wenzelm 2015-08-08 more single stepping;
2015-08-07 wenzelm 2015-08-07 proper Symbol.decode/encode;
2015-08-06 wenzelm 2015-08-06 clarified debugger loop; more controls;
2015-08-06 wenzelm 2015-08-06 clarified thread state; support for eval operation;
2015-08-06 wenzelm 2015-08-06 more controls;
2015-08-05 wenzelm 2015-08-05 protocol support for thread debugger state;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
2015-07-30 wenzelm 2015-07-30 maintain debugger output messages;
2015-07-29 wenzelm 2015-07-29 separate channel for debugger output; clarified thread name;
2015-07-29 wenzelm 2015-07-29 clarified thread name;
2015-07-21 wenzelm 2015-07-21 support for ML debugger;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;