Skip to content

[Bug] Compare Source Editor 高度值太小 #1004

Closed
Bug
#1024
#1005
Closed
[Bug] Compare Source Editor 高度值太小#1004
Bug
#1024
#1005
Labels
bugSomething isn't workinginvestigatingThis is under investigation
Milestone
v4.0.0

Description

@zsTree0830
zsTree0830
opened on Aug 6, 2026

检查项

  • 我已确认了XMOJ增强脚本已为最新版，且最新版未修复这个 Bug 。
  • 我已在 Issues 页面 中搜索，确认了这一 Bug 未被提交过。

描述

Image

重现步骤

No response

控制台错误信息

No response

Activity

  1. zsTree0830
    added the
    Bug
    issue type on Aug 6, 2026
  2. zsTree0830
    added
    bugSomething isn't working
    needs-triageNeeds to be looked at
    on Aug 6, 2026
  3. github-project-automation
    added this to xmoj-scripton Aug 6, 2026
  4. github-project-automation
    moved this to Todo in xmoj-scripton Aug 6, 2026

  5. zsTree0830 commented on Aug 6, 2026

    @zsTree0830
    zsTree0830
    on Aug 6, 2026
    MemberAuthor

    btw: @def-WA2025 被 flagged 了，请将 @zsTree0830 拉到 XMOJ-Script-dev，thx & #1003 不知道看不看得到
    @boomzero @PythonSmall-Q

  6. def-WA2025
    linked a pull request that will close this issueFix #1004 #1005on Aug 6, 2026

  7. boomzero commented on Aug 6, 2026

    @boomzero
    boomzero
    on Aug 6, 2026
    Member

    btw: @def-WA2025 被 flagged 了，请将 @zsTree0830 拉到 XMOJ-Script-dev，thx & #1003 不知道看不看得到 @boomzero @PythonSmall-Q

    Okay

  8. hendragon-bot
    added this to the v4.0.0 milestone on Aug 6, 2026
  9. hendragon-bot
    added
    investigatingThis is under investigation
    and removed
    needs-triageNeeds to be looked at
    on Aug 6, 2026
  10. boomzero
    added a commit that references this issue on Aug 6, 2026

    Merge pull request #1005 from zsTree0830/dev

    89f980a

  11. boomzero commented on Aug 6, 2026

    @boomzero
    boomzero
    on Aug 6, 2026
    Member

    #1005

    I should note, fixed by @zsTree0830

  12. boomzero
    closed this as completedon Aug 6, 2026
  13. github-project-automation
    moved this from Todo to Done in xmoj-scripton Aug 6, 2026
  14. boomzero
    added a commit that references this issue on Aug 6, 2026

    Merge pull request #1006 from XMOJ-Script-dev/extern-contrib

    5cd9fd5

  15. boomzero commented on Aug 6, 2026

    @boomzero
    boomzero
    on Aug 6, 2026
    Member

    Oops the release note is terrible

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workinginvestigatingThis is under investigation

    Type

    Bug

    Projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions