defaultMain: shut down Vty handle returned by customMainWithDefaultVty

jtdaugherty · Nov 10, 2023 · b8c7afc · b8c7afc · ShrykeWindgrace · Nov 10, 2023
1 parent d7565bc
commit b8c7afc
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Brick/Main.hs b/src/Brick/Main.hs
@@ -131,8 +131,10 @@ defaultMain :: (Ord n)
             -> s
             -- ^ The initial application state.
             -> IO s
-defaultMain app st =
-    fst <$> customMainWithDefaultVty Nothing app st
+defaultMain app st = do
+    (s, vty) <- customMainWithDefaultVty Nothing app st
+    shutdown vty
+    return s
 
 -- | A simple main entry point which takes a widget and renders it. This
 -- event loop terminates when the user presses any key, but terminal