pullrequests Search Results · language:Dune language:JavaScript language:Java language:Java language:TypeScript language:HTML
Filter by
237M results
MauroCCRS
Summary
Editor customization redesign plus review cleanups.
- Drag-able PillToggle / ToggleSelect segmented controls in the Customize sidebar
- Dedicated editor color-mode store (use-editor-color-mode) ...
Vijayabaskar56
Sushantb07Problem
On one Windows desktop, login failed with Cannot GET /api/auth/login while the public user list loaded fine. Same build,
another Windows worked.
Root cause
The configured server URL on the failing ...
clementdelestre
pacostas
This PR was opened by the Changesets release GitHub action. When you re ready to do a release, you can merge this and
the packages will be published to npm automatically. If you re not ready to do a release ...
size:M
github-actions[bot]
Summary
- Extract generated browser runner boot-phase fragments into named template helpers for artifact capture policy,
runtime event sink wiring, provider transport registration, and result envelope ...
chubes4
Motivation
- The Radio dropdown was closing when the cursor crossed a small vertical gap between the top-level Radio nav item and
the dropdown, making the submenu link hard to click.
- The change ...
codex
elettro
nguyenthanhdat2707
🎯 Objectif
!-- Que fait cette PR ? Lien vers la tâche / l atelier si dispo. --
🔀 Branche cible
!-- Coche la bonne case --
- [ ] feature/* → develop (intégration d une feature)
- [ ] develop → main ...
Keil-ENZO