Fix segfault in TUI when hitting enter early

Fixes #887
This commit is contained in:
Julian Ospald 2023-10-10 10:26:35 +08:00
parent a73ce186b5
commit 486a1bac25
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43

View File

@ -236,7 +236,7 @@ library
if (flag(tui) && !os(windows)) if (flag(tui) && !os(windows))
cpp-options: -DBRICK cpp-options: -DBRICK
build-depends: vty ^>=5.37 build-depends: vty ^>=5.39
library ghcup-optparse library ghcup-optparse
import: app-common-depends import: app-common-depends
@ -325,7 +325,7 @@ executable ghcup
, brick ^>=1.5 , brick ^>=1.5
, transformers ^>=0.5 , transformers ^>=0.5
, unix ^>=2.7 , unix ^>=2.7
, vty ^>=5.37 , vty ^>=5.39
if os(windows) if os(windows)
cpp-options: -DIS_WINDOWS cpp-options: -DIS_WINDOWS