mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

make filler closeable

Browse source
This commit is contained in:
Joey Hess 2012-07-30 12:23:40 -04:00
parent 8d2667715b
commit 9c9db6feb8
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Assistant/Alert.hs
View file

@ -83,6 +83,7 @@ makeAlertFiller success alert
, alertPriority = Filler
, alertHeader = finished <$> h
, alertMessage = massage m
, alertClosable = True
}
where
h = alertHeader alert