From 38efa7ab9fb1cc4129589f19afbcb549996119c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafa=C5=82=20Dzi=C4=99giel?= Date: Mon, 17 Jan 2022 20:27:13 +0100 Subject: [PATCH 1/3] Use unicode U+2236 for time --- src/buttons.js | 2 +- src/controls.js | 4 +--- src/misc.js | 4 ++-- src/revealers.js | 4 ++-- 4 files changed, 6 insertions(+), 8 deletions(-) diff --git a/src/buttons.js b/src/buttons.js index 0312df85..68ada4f4 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 9d2e930b..cc19a3c8 100644 --- a/src/controls.js +++ b/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; diff --git a/src/misc.js b/src/misc.js index 6b039de4..b10ccb27 100644 --- a/src/misc.js +++ b/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}:` : ''; - return parsed + `${minutes}:${seconds}`; + const parsed = (hours) ? `${hours}∶` : ''; + return parsed + `${minutes}∶${seconds}`; } function parsePlaylistFiles(filesArray) diff --git a/src/revealers.js b/src/revealers.js index f601d155..1ddc08a6 100644 --- a/src/revealers.js +++ b/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' - : '%H:%M'; + ? '%I∶%M %p' + : '%H∶%M'; this.mediaTitle = new Gtk.Label({ ellipsize: Pango.EllipsizeMode.END, From 8ba3ca4af665bff40f5c51a5cdc27d69e3ad76d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafa=C5=82=20Dzi=C4=99giel?= Date: Mon, 17 Jan 2022 20:27:53 +0100 Subject: [PATCH 2/3] Use unicode U+00D7 for multiplication --- src/widget.js | 2 +- ui/elapsed-time-button.ui | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/widget.js b/src/widget.js index 9ee8351c..4218db1a 100644 --- a/src/widget.js +++ b/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) diff --git a/ui/elapsed-time-button.ui b/ui/elapsed-time-button.ui index 56173a9d..9932b010 100644 --- a/ui/elapsed-time-button.ui +++ b/ui/elapsed-time-button.ui @@ -37,9 +37,9 @@ center speed_adjustment - 0.25x + 0.25× Normal - 2x +