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

[Feature Request] use monaco-editor instead of codemirror #410

Closed
2 tasks done
boomzero opened this issue Jan 30, 2024 · 11 comments
Closed
2 tasks done

[Feature Request] use monaco-editor instead of codemirror #410

boomzero opened this issue Jan 30, 2024 · 11 comments
Labels
wontfix This will not be worked on

Comments

@boomzero
Copy link
Member

检查项

  • 我已确认了XMOJ增强脚本已为最新版，且最新版未实现这一功能。
  • 我已在 Issues 页面 中搜索，确认了这一提案未被提交过。

描述

https://github.com/microsoft/monaco-editor

原因

solves #409

And this is vscode!
@boomzero boomzero added enhancement New feature or request needs-triage Needs to be looked at labels Jan 30, 2024
@boomzero
Copy link
Member Author

wip, but tommorrow

@boomzero boomzero added working-on-it We are now working on it! and removed needs-triage Needs to be looked at labels Jan 30, 2024
@hendragon-bot hendragon-bot bot added needs-triage Needs to be looked at and removed working-on-it We are now working on it! labels Jan 30, 2024
@PythonSmall-Q

This comment was marked as resolved.

Sign in to view
@hendragon-bot hendragon-bot bot added this to the v1.2.* milestone Jan 30, 2024
@hendragon-bot hendragon-bot bot added investigating This is under investigation and removed needs-triage Needs to be looked at labels Jan 30, 2024
@PythonSmall-Q

This comment was marked as resolved.

Sign in to view
@PythonSmall-Q
Copy link
Member

我看了看还挺好的。可以试试看，但是会不会让script加载速度变慢

@boomzero
Copy link
Member Author

@PythonSmall-Q 我昨天写着写着要疯了

@boomzero
Copy link
Member Author

他tm是AMD script, 还有自己的loader

@PythonSmall-Q
Copy link
Member

对，那你还是不要放了吧。先把#364 解决掉（？

@boomzero
Copy link
Member Author

boomzero commented Jan 31, 2024 via email •
edited by hendragon-bot bot
Loading

@boomzero
Copy link
Member Author

boomzero commented Jan 31, 2024 via email •
edited by hendragon-bot bot
Loading

@boomzero
Copy link
Member Author

boomzero commented Feb 13, 2024 •
edited by hendragon-bot bot
Loading

because jquery is causing stupid errors, I give up

@hendragon-bot hendragon-bot bot removed this from the v1.2.* milestone Feb 13, 2024
@hendragon-bot hendragon-bot bot removed enhancement New feature or request investigating This is under investigation labels Feb 13, 2024
@hendragon-bot hendragon-bot bot closed this as not planned Won't fix, can't repro, duplicate, stale Feb 13, 2024
@hendragon-bot hendragon-bot bot added the wontfix This will not be worked on label Feb 13, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in xmoj-script Feb 13, 2024
@langningchen
Copy link
Collaborator

langningchen commented Feb 14, 2024 •
edited
Loading

@boomzero

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
wontfix This will not be worked on
Projects
xmoj-script
Archived in project
Milestone
No milestone
Development

No branches or pull requests
3 participants
@langningchen @boomzero @PythonSmall-Q