Skip to content

feat(editor): add editor.refreshDrawSelection()#145

Merged
stream-pipe merged 1 commit into
mainfrom
feature/add-refresh-draw-selection
Jul 15, 2026
Merged

feat(editor): add editor.refreshDrawSelection()#145
stream-pipe merged 1 commit into
mainfrom
feature/add-refresh-draw-selection

Conversation

@stream-pipe

@stream-pipe stream-pipe commented Jul 15, 2026

Copy link
Copy Markdown
Collaborator

改动点：

  • 新增 editor.refreshDrawSelection()，用于通知 drawSelection 更新

@stream-pipe
stream-pipe added this pull request to the merge queue Jul 15, 2026
Merged via the queue into main with commit 17b2224 Jul 15, 2026
11 checks passed
@stream-pipe
stream-pipe deleted the feature/add-refresh-draw-selection branch July 15, 2026 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dragooncjw dragooncjw dragooncjw approved these changes
+1 more reviewer
@xiamidaxia xiamidaxia xiamidaxia approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@stream-pipe @xiamidaxia @dragooncjw