web browser (Servo)
git clone https://git.lucas.co/cce-browser.git
feat(chrome): grow the corner plate to 1.75x the DE's dot
DOT_R goes from 12px to 14px radius. The inset, DOT_COL reservation,
unfold seed and hit circle all follow the constant; open, the plate
still clears the bookmark star beside it.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
CLAUDE.md | 4 ++--
src/main.rs | 6 +++---
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/CLAUDE.md b/CLAUDE.md
index fe1b059..a814f97 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -379,8 +379,8 @@ the terminal window), but drawn as a **circular plate**: the bar's own material
(`BAR_FILL`) and rolled bevel, `plate_shaped` with corner exponent 2 — sitting
in the **bar's corner nearest
the window corner it is anchored to** (`dot_center()`: top-right for a top bar,
-bottom-right for a bottom one). It is drawn here at **1.5x the DE's size**
-(`DOT_R`, 12px radius against `plate_dock::CORNER_R`'s 8, with `DOT_INSET`
+bottom-right for a bottom one). It is drawn here at **1.75x the DE's size**
+(`DOT_R`, 14px radius against `plate_dock::CORNER_R`'s 8, with `DOT_INSET`
keeping the DE's margin to the plate edge): folded, it is the whole chrome, and
the pane-corner size was too small to find. The size lives in this crate, not
in `cce-ui` — the shared constant is every other app's dot too — so the drawing
diff --git a/src/main.rs b/src/main.rs
index ca8d0a5..f283325 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -117,9 +117,9 @@ fn chrome_step(t: f32, target: f32, dt: f32, animate: bool) -> f32 {
}
/// Radius of the corner control, drawn and hit. The DE's dot
/// (`plate_dock::CORNER_R`) is sized for a pane's corner; the browser's is
-/// the whole chrome while folded, so it is half again as big — the same
-/// plain plate-border disc, just easier to see and to hit.
-const DOT_R: f32 = 1.5 * plate_dock::CORNER_R;
+/// the whole chrome while folded, so it is drawn bigger — a circular
+/// plate rather than a pane's dot, easier to see and to hit.
+const DOT_R: f32 = 1.75 * plate_dock::CORNER_R;
/// Centre inset from the bar's corner, on both axes: the DE's margin
/// between the dot and the plate edge, kept as the dot grew.
const DOT_INSET: f32 = plate_dock::CORNER_INSET + (DOT_R - plate_dock::CORNER_R);