fix: unintended text selection when resizing the splitter - #7187
Merged
DrJKL merged 3 commits intoDec 5, 2025
Merged
Socket Security / Socket Security: Pull Request Alerts
succeeded
Dec 5, 2025 in 3s
Pull Request #7187 Alerts: Skipped
| Report | Status | Message |
|---|---|---|
| PR #7187 Alerts | ✅ | Pull request contains no net changes to dependencies |
Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.
Details
No dependency changes detected. Learn more about Socket for GitHub.
👍 No dependency changes detected in pull request
Loading