From a1f214ee1ec0ed4b7659c3dbf94f66bc703a1908 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sat, 11 Jul 2020 17:34:07 +0200 Subject: Add decimal_time_to_date. --- static/script.js | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/static/script.js b/static/script.js index edef739a..e2fe5dc7 100644 --- a/static/script.js +++ b/static/script.js @@ -25,10 +25,16 @@ function decimal_time_to_string (time) { if (hour < 10) { hour = '0' + hour; } - var minute = String((time - Math.floor(time)) * 60).padStart(2, 0); + let minute = String((time - Math.floor(time)) * 60).padStart(2, 0); return "" + hour + ":" + minute; } +function decimal_time_to_date (time) { + let hour = Math.floor(time); + let minute = (time - hour) * 60; + return new Date(0,0,0,hour,minute,0); +} + let gensym_counter = 0; function gensym (prefix) { gensym_counter++; -- cgit v1.2.3