()
| 1258 | } |
| 1259 | |
| 1260 | function onAnimationExpired() { |
| 1261 | // although an expired animation is a failed animation, getting to |
| 1262 | // this outcome is very easy if the CSS code screws up. Therefore we |
| 1263 | // should still continue normally as if the animation completed correctly. |
| 1264 | close(); |
| 1265 | } |
| 1266 | |
| 1267 | function onAnimationProgress(event) { |
| 1268 | event.stopPropagation(); |