Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix/workbench #160

Merged
merged 4 commits into from
May 31, 2021
Merged

Fix/workbench #160

merged 4 commits into from
May 31, 2021

Conversation

mumiao
Copy link
Collaborator

@mumiao mumiao commented May 31, 2021

Resolved #145 #157

  • 修复workbench tab变量被重构后，theme文件没更新的bug
  • 修复workbench editorTabs更新 editor内容没变更的bug

@mumiao mumiao requested a review from wewoor May 31, 2021 06:52
@mumiao mumiao self-assigned this May 31, 2021
@mumiao mumiao added the bug Something isn't working label May 31, 2021
@mumiao mumiao added this to the 0.9.0-alpha.3 milestone May 31, 2021
@wewoor wewoor merged commit 2b05642 into main May 31, 2021
@mumiao mumiao deleted the fix/workbench branch July 15, 2021 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wewoor wewoor wewoor left review comments

Assignees

@mumiao mumiao

Labels
bug Something isn't working
Projects
None yet
Milestone
0.9.0-alpha.3
Development

Successfully merging this pull request may close these issues.

The Code Editor content is wrong when EditorTabs are changed.
2 participants
@mumiao @wewoor