Merge pull request #206 from Rafostar/unicode

Use more unicode characters

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)

src/controls.js

@@ -7,8 +7,6 @@ const Revealers = imports.src.revealers;
 const { debug } = Debug;
 const { settings } = Misc;
 
-const INITIAL_ELAPSED = '00:00/00:00';
-
 var Controls = GObject.registerClass({
     GTypeName: 'ClapperControls',
 },
@@ -29,7 +27,7 @@ class ClapperControls extends Gtk.Box
         this.isMobile = false;
 
         this.showHours = false;
-        this.durationFormatted = '00:00';
+        this.durationFormatted = '00∶00';
         this.revealersArr = [];
         this.chapters = null;
 
@@ -148,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;
     }

src/misc.js

@@ -161,8 +161,8 @@ function getFormattedTime(time, showHours)
     time -= minutes * 60;
     const seconds = ('0' + Math.floor(time)).slice(-2);
 
-    const parsed = (hours) ? `${hours}:` : '';
+    const parsed = (hours) ? `${hours}∶` : '';
-    return parsed + `${minutes}:${seconds}`;
+    return parsed + `${minutes}∶${seconds}`;
 }
 
 function parsePlaylistFiles(filesArray)

src/revealers.js

@@ -59,8 +59,8 @@ class ClapperRevealerTop extends CustomRevealer
 
         const initTime = GLib.DateTime.new_now_local().format('%X');
         this.timeFormat = (initTime.length > 8)
-            ? '%I:%M %p'
+            ? '%I∶%M %p'
-            : '%H:%M';
+            : '%H∶%M';
 
         this.mediaTitle = new Gtk.Label({
             ellipsize: Pango.EllipsizeMode.END,

src/widget.js

@@ -224,7 +224,7 @@ class ClapperWidget extends Gtk.Grid
                 case GstClapper.ClapperVideoInfo:
                     type = 'video';
                     codec = info.get_codec() || _('Undetermined');
-                    text = `${codec}, ${info.get_width()}x${info.get_height()}`;
+                    text = `${codec}, ${info.get_width()}×${info.get_height()}`;
                     let fps = info.get_framerate();
                     fps = Number((fps[0] / fps[1]).toFixed(2));
                     if(fps)

ui/elapsed-time-button.ui

@@ -37,9 +37,9 @@
             <property name="valign">center</property>
             <property name="adjustment">speed_adjustment</property>
             <marks>
-              <mark value="0.25" position="bottom">0.25x</mark>
+              <mark value="0.25" position="bottom">0.25×</mark>
               <mark value="1" position="bottom" translatable="yes">Normal</mark>
-              <mark value="2" position="bottom">2x</mark>
+              <mark value="2" position="bottom">2×</mark>
             </marks>
             <style>
               <class name="speedscale"/>