From 0de154194dc2b57bd82a351c8ef82c95e3329bb3 Mon Sep 17 00:00:00 2001
From: Michael Bolin <mbolin@openai.com>
Date: Mon, 15 Sep 2025 10:02:53 -0700
Subject: [PATCH] fix: change MIN_ANIMATION_HEIGHT so show_animation is
 calculated correctly (#3656)

Reported height was `20` instead of `21`, so `area.height >=
MIN_ANIMATION_HEIGHT` was `false` and therefore `show_animation` was
`false`, so the animation never displayed.
---
 codex-rs/tui/src/onboarding/welcome.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codex-rs/tui/src/onboarding/welcome.rs b/codex-rs/tui/src/onboarding/welcome.rs
index 1e99fbf5..578e2b42 100644
--- a/codex-rs/tui/src/onboarding/welcome.rs
+++ b/codex-rs/tui/src/onboarding/welcome.rs
@@ -17,7 +17,7 @@ use std::time::Duration;
 use std::time::Instant;
 
 const FRAME_TICK: Duration = FRAME_TICK_DEFAULT;
-const MIN_ANIMATION_HEIGHT: u16 = 21;
+const MIN_ANIMATION_HEIGHT: u16 = 20;
 const MIN_ANIMATION_WIDTH: u16 = 60;
 
 pub(crate) struct WelcomeWidget {