Skip to content

Feat(UI): Add help popup; More complete source code - #60

Merged
zjp-CN merged 5 commits into
mainfrom
upg
Jan 31, 2026
Merged

zjp-CN merged 5 commits into
mainfrom
upg

Conversation

@zjp-CN

@zjp-CN zjp-CN commented Jan 31, 2026

Copy link
Copy Markdown
Contributor

This PR

截图_20260201003443
  • Fixes adt popup size quirks with grid layout and don't shrink search bar
    • It happens when the screen resizes or the height of tree overflows
截图_20260201003616

@vercel

vercel Bot commented Jan 31, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
unsafety-propagation-graph Ready Ready Preview, Comment Jan 31, 2026 4:35pm

@zjp-CN
zjp-CN merged commit 5984489 into main Jan 31, 2026
4 checks passed
@zjp-CN
zjp-CN deleted the upg branch January 31, 2026 16:38

This branch was successfully deployed

1 active and 1 inactive deployments
Preview 6eeb1635 Deployed Jan 31, 2026 by vercel[bot]
github-pages 6eeb1635 Deployed Jan 31, 2026 by zjp-CN via deploy #127
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Extract full adt source code Attach attributes on items

1 participant