#1814 (Nov 10, 2022, 12:50:10 AM)

1. more robust selection: avoid duplicates via "batch" number;
   evade attempts to select separator via keyboard or mouse (non-keyboard), assuming there are no consecutive separators; (detail / hgweb)
2. tuned GUI; (detail / hgweb)
3. clarified GUI.Selector, with support for separator as pseudo-entry;
   clarified signature; (detail / hgweb)
4. clarified GUI state;
   added "Load" button; (detail / hgweb)
5. clarified file names; (detail / hgweb)
6. clarified Log_Progress vs. GUI: more like Syslog_Dockable; (detail / hgweb)
7. clarified signature: more public operations; (detail / hgweb)
8. tuned signature, following hints by IntelliJ IDEA; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.