src/Tools/jEdit/src/debugger_dockable.scala
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 eval ML context; tuned GUI;
2015-08-07 wenzelm 2015-08-07 maintain history more often;
2015-08-06 wenzelm 2015-08-06 approximate old selection after update;
2015-08-06 wenzelm 2015-08-06 expand all rows for robustness and simplicity; tuned signature;
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 support for tree selection;
2015-08-05 wenzelm 2015-08-05 proper dynamic update;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-08-05 wenzelm 2015-08-05 more GUI components;
2015-08-05 wenzelm 2015-08-05 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 more GUI components;
2015-07-17 wenzelm 2015-07-17 more uniform ComponentAdapter;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;