|
|
|
@ -18,7 +18,7 @@
|
|
|
|
</head>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<body>
|
|
|
|
<div>
|
|
|
|
<div>
|
|
|
|
T − <input type="text" id="time" size="8" placeholder="hh:mm:ss">
|
|
|
|
T ‐ <input type="text" id="time" size="12" placeholder="hh : mm : ss">
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<script>
|
|
|
|
<script>
|
|
|
|
((t = document.querySelector("#time"), on = false, tmr = undefined) =>
|
|
|
|
((t = document.querySelector("#time"), on = false, tmr = undefined) =>
|
|
|
|
@ -27,10 +27,9 @@
|
|
|
|
(e, s = t.value.split(':').reduce((a, x) => (60 * a) + +x)) => e.keyCode == 13 && !on
|
|
|
|
(e, s = t.value.split(':').reduce((a, x) => (60 * a) + +x)) => e.keyCode == 13 && !on
|
|
|
|
? (
|
|
|
|
? (
|
|
|
|
on = true,
|
|
|
|
on = true,
|
|
|
|
t.blur(),
|
|
|
|
|
|
|
|
tmr = setInterval(() => s == 0
|
|
|
|
tmr = setInterval(() => s == 0
|
|
|
|
? (on = false, clearInterval(tmr), t.value = "", document.title = "TIMER")
|
|
|
|
? (on = false, clearInterval(tmr), t.value = "")
|
|
|
|
: (t.value = (new Date(s-- * 1000)).toISOString().substr(11, 8).replace(/:/g, ':'), document.title = "TIMER − " + t.value), 1000)
|
|
|
|
: t.value = (new Date(s-- * 1000)).toISOString().substr(11, 8).replace(/:/g, ' : '), 1000)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
: 0
|
|
|
|
: 0
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|