From 6adb846f7544a414e45997dcbad65eb4d15d3baf Mon Sep 17 00:00:00 2001
From: Eric Fredricksen <efredricksen@gmail.com>
Date: Tue, 2 Oct 2018 09:25:03 -0700
Subject: [PATCH] Fix lack of rounding when reporting seconds

---
 main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.js b/main.js
index fc47fa1..a91427d 100644
--- a/main.js
+++ b/main.js
@@ -862,7 +862,7 @@ function ClearAllSelections() {
 }
 
 function RoughTime(s) {
-  if (s < 120) return s + ' seconds';
+  if (s < 120) return s.div(1) + ' seconds';
   else if (s < 60 * 120) return s.div(60) + ' minutes';
   else if (s < 60 * 60 * 48) return s.div(3600) + ' hours';
   else if (s < 60 * 60 * 24 * 60) return s.div(3600 * 24) + ' days';