-
Przemyslaw Kaminski authored
Now the timeout for pause won't trigger if user quickly presses stop/start FA.
ff8e2dc7
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Gargantext | ||
| .psc-ide-port | ||
| Main.purs | ||
| index.html | ||
| index.js |
Now the timeout for pause won't trigger if user quickly presses stop/start FA.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Gargantext | ||
| .psc-ide-port | ||
| Main.purs | ||
| index.html | ||
| index.js |