Refresh the editor after rolling back the document #12397

New issue

Jump to bottom

Closed

TCOTC opened this issue Sep 5, 2024 · 0 comments

Assignees

Labels

Milestone

Contributor

TCOTC commented Sep 5, 2024 •

edited by 88250

Loading

回滚文档后没有更新编辑器内容、不刷新文档就无法正确定位和高亮文档树

关联 #12320

default.webm

88250 self-assigned this

88250 added the Enhancement label

88250 changed the title ~~回滚文档后没有更新编辑器内容、不刷新文档就无法正确定位和高亮文档树~~ Refresh the editor after rolling back the document

88250 added this to the 3.1.6 milestone

88250 added a commit that referenced this issue


          🎨 Refresh the editor after rolling back the document #12397

f18be1d

88250 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment