From bd2225259e72eb9339dd978e6cf124836313d29d Mon Sep 17 00:00:00 2001 From: Jonathan Daugherty Date: Sat, 29 Jun 2024 22:46:29 -0700 Subject: [PATCH] Remove useless TODOs --- src/Brick/Keybindings/Pretty.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Brick/Keybindings/Pretty.hs b/src/Brick/Keybindings/Pretty.hs index 615bee6..d312cd7 100644 --- a/src/Brick/Keybindings/Pretty.hs +++ b/src/Brick/Keybindings/Pretty.hs @@ -163,8 +163,8 @@ keybindEventHelpWidget (evName, desc, evs) = getText (Comment s) = s getText (Verbatim s) = s label = withDefAttr eventNameAttr $ case evName of - Comment s -> txt s -- TODO: was "; " <> s - Verbatim s -> txt s -- TODO: was: emph $ txt s + Comment s -> txt s + Verbatim s -> txt s in vBox [ withDefAttr eventDescriptionAttr $ txt desc , label <+> txt " = " <+> withDefAttr keybindingAttr (txt evText) ]