From 706c78349834115c52f4680767a242f6ec42375e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rafa=C5=82=20Dzi=C4=99giel?= <rafostar.github@gmail.com>
Date: Mon, 17 Jan 2022 22:28:17 +0100
Subject: [PATCH] Use unicode U+2215 for division

---
 src/buttons.js  | 2 +-
 src/controls.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/buttons.js b/src/buttons.js
index 68ada4f4..e09b2598 100644
--- a/src/buttons.js
+++ b/src/buttons.js
@@ -165,7 +165,7 @@ class ClapperElapsedTimeButton extends PopoverButtonBase
 
     setInitialState()
     {
-        this.label = '00∶00/00∶00';
+        this.label = '00∶00∕00∶00';
     }
 
     setFullscreenMode(isFullscreen, isMobileMonitor)
diff --git a/src/controls.js b/src/controls.js
index cc19a3c8..b74b2f1c 100644
--- a/src/controls.js
+++ b/src/controls.js
@@ -146,7 +146,7 @@ class ClapperControls extends Gtk.Box
         value = value || 0;
 
         const elapsed = Misc.getFormattedTime(value, this.showHours)
-            + '/' + this.durationFormatted;
+            + '∕' + this.durationFormatted;
 
         this.elapsedButton.label = elapsed;
     }