#841 (Jan 13, 2019, 12:50:09 AM)

1. avoid access to ".NAME.marks" exports; (detail / hgweb)
2. proper _getFile method -- required to open files from browser; (detail / hgweb)
3. more robust: no assumptions about GUI thread or document model; (detail / hgweb)
4. more robust: jEdit may produce names with trailing "/"; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.