replace-lightning-emoji

Replace ⚡ lightning emoji with ⌁ priority symbol in TUI

Metadata

Statusdone
Assignedagent-736
Agent identityf51439356729d112a6c404803d88015d5b44832c6c584c62b96732b63c2b0c7e
Created2026-04-27T16:11:13.060914321+00:00
Started2026-04-27T16:12:27.617094198+00:00
Completed2026-04-27T16:23:24.485278390+00:00
Tagstui,polish, eval-scheduled

Description

Description

The TUI log/events view (and possibly other surfaces) prefixes tool-call lines with a ⚡ lightning emoji (e.g. '⚡ Bash → wg do'). The user wants this replaced with the ⌁ symbol (U+2380 'continuous underline symbol' — same one used elsewhere as a priority indicator) for visual consistency.

Steps:

  1. grep -rn '⚡' src/ to find every occurrence in user-visible strings
  2. Replace each with '⌁'
  3. Check if there's a single style/prefix helper or if the emoji is sprinkled across rendering — if sprinkled, consider extracting a constant
  4. Verify no test snapshots / golden files that pin the old character (update if so)

Validation

  • grep -rn '⚡' src/ returns no matches in TUI rendering code
  • grep -rn '⌁' src/ shows the new symbol in the expected places
  • Live-smoke: launch TUI, run a command that produces a tool-call log entry, observe '⌁' (not '⚡') in the prefix
  • cargo build + cargo test pass; any updated snapshot tests reflect the new symbol intentionally

Depends on

Required by

Log