diff options
| author | Joris | 2019-11-03 16:09:30 +0100 |
|---|---|---|
| committer | Joris | 2019-11-03 16:09:30 +0100 |
| commit | 58f6c4e25f5f20f1b608242c83786e2f13947804 (patch) | |
| tree | 8a6d9be45b9c34c227dd30fe573ac1bfc1ed8c1b /cabal-server.project | |
| parent | 4c79ca374e030454f62a467fb4f2197d372e9bc1 (diff) | |
Delay modal event to let time for the modal to disappear
Diffstat (limited to 'cabal-server.project')
0 files changed, 0 insertions, 0 deletions