Code

Cancel parsing event#941

Code

Merged

rtetley merged 25 commits intomaincoq/vscoq:mainfrom cancel-eventcoq/vscoq:cancel-eventCopy head branch name to clipboardDec 3, 2024

+867-818

Commits

Commits on Nov 22, 2024

• feat: make parsing part of the event loop

  Show description for 62ab074
  rtetley

  committed
  62ab074

  Copy full SHA for 62ab074

Commits on Nov 26, 2024

• feat: parse lines individually

  Show description for d12638f
  rtetley

  committed
  d12638f

  Copy full SHA for d12638f

• feat: cancel parse events when receiving a new one

  rtetley

  committed
  105352c

  Copy full SHA for 105352c

• fix: fix priorities and keep synterp state and only update view once parsing is over

  Show description for df5652d
  rtetley

  committed
  df5652d

  Copy full SHA for df5652d

• cleanup: removed unecessary variables and cancellation handles

  Show description for daed67e
  rtetley

  committed
  daed67e

  Copy full SHA for daed67e

• feat: create new Observe event

  Show description for 8634298
  rtetley

  committed
  8634298

  Copy full SHA for 8634298

• fix: Interrupt execution after validation

  rtetley

  committed
  6cb17fa

  Copy full SHA for 6cb17fa

• feat: externalise RangeList type

  Show description for 2029fc8
  rtetley

  committed
  2029fc8

  Copy full SHA for 2029fc8

• cleanup: remove unecessary field in execute event

  rtetley

  committed
  eed0df6

  Copy full SHA for eed0df6

• feat: make the todo queue part ot execution state

  Show description for da65b44
  rtetley

  committed
  da65b44

  Copy full SHA for da65b44

• feat: add cancellation handles for exec events

  Show description for 7a64cb5
  rtetley

  committed
  7a64cb5

  Copy full SHA for 7a64cb5

• feat: new handle event return type for document manager

  Show description for afb495f
  rtetley

  committed
  afb495f

  Copy full SHA for afb495f

• feat: observe_id is no longer an option

  Show description for c98da57
  rtetley

  committed
  c98da57

  Copy full SHA for c98da57

• feat: put all document related events (proofview, errors, move cursor, etc..) back in documentManager

  rtetley

  committed
  cbb788d

  Copy full SHA for cbb788d

• cleanup: remove unecessary events from lsp manager

  rtetley

  committed
  0a86985

  Copy full SHA for 0a86985

• feat: send back notifications returned by the document manager

  rtetley

  committed
  dfe8a05

  Copy full SHA for dfe8a05

• fix: don't forget to move cursor when stepping forward/backward

  rtetley

  committed
  0852fb9

  Copy full SHA for 0852fb9

Commits on Nov 28, 2024

• fix: make unit tests compatible with new API

  

  gares

  authored and

  rtetley

  committed
  4a349a5

  Copy full SHA for 4a349a5

• feat: recompute the overview after a text edit

  rtetley

  committed
  8536071

  Copy full SHA for 8536071

• fix: don't forget to remove events from the todo queue when invalidating

  rtetley

  committed
  0e8c72d

  Copy full SHA for 0e8c72d

• fix: adjust the tests to take into account the new validate document function

  rtetley

  committed
  f4a01c5

  Copy full SHA for f4a01c5

Commits on Nov 29, 2024

• cleanup: remove dead code and inaccurate comments

  rtetley

  committed
  b537578

  Copy full SHA for b537578

Commits on Dec 3, 2024

• fix: make the return type of Document.handle_event into a record

  Show description for a881fb1
  rtetley

  committed
  a881fb1

  Copy full SHA for a881fb1

• fix: stepForward and stepBackward no longer require a position to work in continuous mode

  rtetley

  committed
  2d8bfff

  Copy full SHA for 2d8bfff

• cleanup: make document manager api cleaner

  rtetley

  committed
  3c487e7

  Copy full SHA for 3c487e7