Skip to content

[diff/editor] Add autoSurround option in docs#824

Merged
ije merged 1 commit into
beta-1.3from
editor/update-docs
Jun 17, 2026
Merged

[diff/editor] Add autoSurround option in docs#824
ije merged 1 commit into
beta-1.3from
editor/update-docs

Conversation

@ije

@ije ije commented Jun 17, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@vercel

vercel Bot commented Jun 17, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
pierre-docs-diffs Ready Ready Preview Jun 17, 2026 6:03am
pierre-docs-diffshub Ready Ready Preview Jun 17, 2026 6:03am
pierre-docs-trees Ready Ready Preview Jun 17, 2026 6:03am
pierrejs-diff-demo Ready Ready Preview Jun 17, 2026 6:03am

Request Review

@ije
ije changed the base branch from main to beta-1.3 June 17, 2026 06:03
@ije
ije merged commit 9e90e41 into beta-1.3 Jun 17, 2026
8 checks passed
@ije
ije deleted the editor/update-docs branch June 17, 2026 06:03
@chatgpt-codex-connector

Copy link
Copy Markdown

💡 Codex Review

if (
this.#renderRange !== undefined &&
this.#renderRange.totalLines !== Infinity

P2 Badge Update full editor views after deferred tokenization

When the editor is attached to a non-virtualized File/FileDiff, #renderRange is undefined (or may be the default infinite range), so deferred tokenizer results only update the render cache and never patch the visible DOM. This shows up after a theme/system color-scheme change or after an edit whose TextMate state continues into later lines: background tokenization computes corrected tokens, but the full editor view keeps stale highlighting until some unrelated rerender happens. Treat an undefined/infinite range as the whole visible document here, or request a rerender after cache updates.

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

tjni pushed a commit to tjni/pierre that referenced this pull request Jun 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant