Skip to content
Started 7 yr 5 mo ago
Took 1 hr 5 min on workermta3
Failed

#228 (Jan 9, 2017, 12:51:06 AM)

Build Artifacts
Changes
  1. NEWS for VSCode; (detail / hgweb)
  2. merged (detail / hgweb)
  3. more documentation; (detail / hgweb)
  4. added node_name(String): imitate jEdit buffer operations;
    more uniform get_file_content for external source file references; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. tuned signature; (detail / hgweb)
  7. avoid immediate editor.flush on buffer events; (detail / hgweb)
  8. refer to internal File_Model instead of external file; (detail / hgweb)
  9. tuned; (detail / hgweb)
  10. resolve dependencies implicitly via File_Model, without jEdit Buffer_Model; (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. support for bibtex entries; (detail / hgweb)
  13. tuned; (detail / hgweb)
  14. tuned signature; (detail / hgweb)
  15. more explocit Document_Model.Content; (detail / hgweb)
  16. refer to bibtex entries via general Document_Model, instead of editor buffers; (detail / hgweb)
  17. clarified modules; (detail / hgweb)
  18. uniform Document.Model.node_edits (without void edits); (detail / hgweb)
  19. clarified check_thy_reader: check node_name here; (detail / hgweb)
  20. more uniform node_header (non-strict);
    removed dead code; (detail / hgweb)
  21. tuned signature; (detail / hgweb)
  22. tuned signature; (detail / hgweb)
  23. tuned; (detail / hgweb)
  24. clarified lazy text content; (detail / hgweb)
  25. Line.Document consists of independently allocated strings;
    tuned signature; (detail / hgweb)
  26. obsolete; (detail / hgweb)
  27. clarified buffer events: exit model while loading;
    misc tuning; (detail / hgweb)
  28. separate Buffer_Model vs. File_Model;
    misc tuning and clarification; (detail / hgweb)
  29. tuned; (detail / hgweb)
  30. tuned; (detail / hgweb)
  31. tuned; (detail / hgweb)
  32. manage buffer models as explicit global state;
    tuned signature; (detail / hgweb)
  33. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.8 sec waiting;
  • 1 hr 5 min build duration;
  • 1 hr 5 min total from scheduled to completion.
Revision: bb70dc05cd3855a62118edcf3d846a2b4e2e1f39