fix: make timestamp toggle text dynamic in command list (resolves #5106) (#5108)

This commit is contained in:
Ariane Emory 2025-12-06 15:42:46 -05:00 committed by GitHub
commit 429aa24275
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -449,7 +449,7 @@ export function Session() {
},
},
{
title: "Toggle timestamps",
title: showTimestamps() ? "Hide timestamps" : "Show timestamps",
value: "session.toggle.timestamps",
category: "Session",
onSelect: (dialog) => {