#788 (Mar 4, 2017, 10:22:04 PM)

1. merged (detail / hgweb)
2. clarified pretty margin; (detail / hgweb)
3. more general hover_message (see also JEdit_Rendering.tooltip_message); (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. decorations for background and foreground colors; (detail / hgweb)
6. tight protocol messages; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. symbolic Rendering.Color;
   clarified modules; (detail / hgweb)
9. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 56 min build duration;
• 1 hr 1 min total from scheduled to completion.