@Name no 'Event'

Correct package

public final class

Extends jdk.jfr.Event

All 4 class annotations

@Label on fields

enabled() on class

commit() helper name

commit() minimal body

compileOnly polyfill

Guard at call site

Timestamps inside guard

Refuses the `trace` name

Refuses the unguarded shape

Explains the allocation argument

Proposes the correct alternative shape

Does not let the @Name string drift

Maintains review-thread tone

Does not invent unrelated changes

Three nullable Style fields

Three DEFAULT_*_STYLE constants

resolveEffectiveStyle in render path

Toolkit factory method added

Fluent setters return this

JavaDoc CSS Child Selectors block

AGENTS.md table updated

Test asserts via BufferAssertions

Java 8 source compatibility preserved

Render-thread invariant respected

Three pane ids declared as constants

.id(...).focusable() on every pane

Initial focus set in onStart() via focus manager

Focus polled via focusManager.focusedId() in render()

Focused-border helper is one method, used per pane

Unfocused border uses a projector-safe color

Focused border uses a distinct saturated color

configure() override enables mouseCapture(true)

No per-pane Tab-handling code

List held as field, not built inline in render()

Backing collection held as a field

selected(-1) suppresses default selection

highlightSymbol("") removes the prefix marker

highlightStyle(Style.EMPTY) removes inverted colors

stickyScroll() and scrollbar() both present

configure() overridden with mouseCapture(true)

.id(...).focusable() pair on the pane

Pre-wrap helper for long lines

Background-thread add hops to render thread