Thu, 13 Dec 2012 13:52:18 +0100 identify dialogs via official serial and maintain as result message;
wenzelm [Thu, 13 Dec 2012 13:52:18 +0100] rev 50500
identify dialogs via official serial and maintain as result message; clarified Protocol.is_inlined: suppress result/tracing/state messages uniformly; cumulate_markup/select_markup depending on command state; explicit Rendering.output_messages; tuned source structure;
Wed, 12 Dec 2012 23:36:07 +0100 rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
wenzelm [Wed, 12 Dec 2012 23:36:07 +0100] rev 50499
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 tip