fix: #2148 add comma to group three digits in numbers

This commit is contained in:
Kazuhiro Sera
2025-08-20 18:45:20 +09:00
parent 8b49346657
commit 4df9b565fc
4 changed files with 41 additions and 19 deletions

View File

@@ -25,6 +25,7 @@ use codex_core::protocol::TaskCompleteEvent;
use codex_core::protocol::TurnAbortReason;
use codex_core::protocol::TurnDiffEvent;
use codex_core::protocol::WebSearchBeginEvent;
use codex_core::protocol::format_token_count;
use owo_colors::OwoColorize;
use owo_colors::Style;
use shlex::try_join;
@@ -189,7 +190,8 @@ impl EventProcessor for EventProcessorWithHumanOutput {
return CodexStatus::InitiateShutdown;
}
EventMsg::TokenCount(token_usage) => {
ts_println!(self, "tokens used: {}", token_usage.blended_total());
let tokens = format_token_count(token_usage.blended_total());
ts_println!(self, "tokens used: {tokens}");
}
EventMsg::AgentMessageDelta(AgentMessageDeltaEvent { delta }) => {
if !self.answer_started {