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;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf496b2b7bafb: rendering of selected dialog_result as active_result_color, depending on…
- Branches
- Unknown
- Tags