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

编辑器页面分拆 #1229

Closed
abc1763613206 opened this issue May 24, 2019 · 4 comments
Closed

编辑器页面分拆 #1229

abc1763613206 opened this issue May 24, 2019 · 4 comments
Labels
Help needed for format / 需要帮助修正格式 help wanted / 需要帮助 Extra attention is needed

Comments

@abc1763613206
Copy link
Member

idea来自Telegram群内讨论，具体优劣可继续讨论。

Trisolaris HD, [24.05.19 22:50]
[回复 Ir1d XD+]
是...我想拆成子页面
Shuhao Zhang, [24.05.19 22:50]
分拆是个好方案
Trisolaris HD, [24.05.19 22:50]
[回复 [New86]asfr |abc1763613206]
好像听到有人在说我
Shuhao Zhang, [24.05.19 22:50]
目前的情况是这个页面实在太长了
Ir1d XD+, [24.05.19 22:51]
[回复 Trisolaris HD]
拆！
@Ir1d Ir1d mentioned this issue May 24, 2019
Closed
44 tasks
@partychicken partychicken mentioned this issue May 26, 2019
Merged
@abc1763613206 abc1763613206 reopened this May 29, 2019
@abc1763613206
Copy link
Member Author

Arbiter 那里内容太多了，要不要和编辑器一样拆掉？

Originally posted by @abc1763613206 in OI-wiki/gitment#68 (comment)

@abc1763613206
Copy link
Member Author

另外分拆后的页面要不要整理到一个文件夹里去？

@abc1763613206
Copy link
Member Author

还有新页面的Issue还没有人建

@YZircon
Copy link
Member

YZircon commented Jul 22, 2019

Arbiter 那里内容太多了，要不要和编辑器一样拆掉？

Originally posted by @abc1763613206 in OI-wiki/gitment#68 (comment)
评测工具要拆的话我今晚去搞吧 @abc1763613206

@OI-wiki OI-wiki locked as resolved and limited conversation to collaborators Aug 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Help needed for format / 需要帮助修正格式 help wanted / 需要帮助 Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@abc1763613206 @YZircon