chore: merge origin/dev into v2
Brings the latest dev (45 commits) into v2. Conflict resolutions: - core/src/session.ts: keep v2's Service (BusyError active-checks in revert.stage/clear/commit, rename method + Renamed event) and add dev's history method. v2's Renamed event flows through the merged SessionEvent.Definitions into the OpenCodeEvent union, so it encodes correctly on the SSE stream. - server/src/handlers/event.ts: take dev's OpenCodeEvent encoder, which supersedes v2's PublicEventManifest handler wiring. This also brings dev's live event stream (allBounded + heartbeat + keepalive headers) onto v2. - Removed the now-orphaned public-event-manifest.ts (only self-referenced after taking dev's handler). - Generated client + sdk types regenerated via codegen (not hand-merged); they pick up dev's effect SSE OpenAPI-naming patch (V2EventStream).
This commit is contained in:
commit
727f9f46a0
207 changed files with 9806 additions and 6648 deletions
|
|
@ -1,6 +1,7 @@
|
|||
export function inlineCodeKind(text: string): "path" | "url" | undefined {
|
||||
if (/^https?:\/\//i.test(text)) return "url"
|
||||
if (/^[a-z][a-z0-9+.-]*:\/\//i.test(text)) return
|
||||
if (text === "/") return
|
||||
if (/^\/[a-z][a-z0-9-]*$/i.test(text)) return
|
||||
if (/\s/.test(text)) return
|
||||
if (/[()\[\]{}*+=<>|&^"';]/.test(text)) return
|
||||
|
|
|
|||
|
|
@ -49,12 +49,20 @@
|
|||
line-height: var(--line-height-large);
|
||||
}
|
||||
|
||||
h3,
|
||||
h3 {
|
||||
font-size: 13px;
|
||||
color: var(--v2-text-text-base);
|
||||
font-weight: var(--font-weight-medium);
|
||||
margin-top: 0px;
|
||||
margin-bottom: 24px;
|
||||
line-height: var(--line-height-large);
|
||||
}
|
||||
|
||||
h4,
|
||||
h5,
|
||||
h6 {
|
||||
font-size: 13px;
|
||||
color: var(--v2-text-text-base);
|
||||
color: var(--v2-text-text-muted);
|
||||
font-weight: var(--font-weight-medium);
|
||||
margin-top: 0px;
|
||||
margin-bottom: 24px;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue