diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-07-30 12:23:40 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-07-30 12:23:40 -0400 |
| commit | 9c9db6feb8e732887838337e700c33e6033cd192 (patch) | |
| tree | 1c366f4dde0920c0cfe408b575f40e54c292d900 | |
| parent | 8d2667715b0508c538cf652e2dcfe2b8a47d1aff (diff) | |
make filler closeable
| -rw-r--r-- | Assistant/Alert.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assistant/Alert.hs b/Assistant/Alert.hs index 817a1be27..18f3ffa5d 100644 --- a/Assistant/Alert.hs +++ b/Assistant/Alert.hs @@ -83,6 +83,7 @@ makeAlertFiller success alert , alertPriority = Filler , alertHeader = finished <$> h , alertMessage = massage m + , alertClosable = True } where h = alertHeader alert |