fix: display media total length on bar and add a time label (#435)

* fix: display media total length on bar

* fix: add option to display custom nomedia text

* feat: add dedicated label too

* fix: media add more window names for playables

* fix: add option to control display time

* Consolidate code and make tooltip timestamp for media bar opt-in.

---------

Co-authored-by: Jas Singh <jaskiratpal.singh@outlook.com>
This commit is contained in:
Rubin Bhandari
2024-11-08 15:00:06 +05:45
committed by GitHub
parent 1c0b49fce8
commit 9ae59034fa
53 changed files with 224 additions and 72 deletions

View File

@@ -1,5 +1,6 @@
import { Attribute } from 'lib/types/widget';
import { MprisPlayer } from 'types/service/mpris';
import Label from 'types/widgets/label';
import Slider from 'types/widgets/slider';
/**
@@ -16,25 +17,38 @@ export const updateTooltip = (self: Slider<Attribute>, foundPlayer?: MprisPlayer
const playerPosition = foundPlayer.position;
const curHour = Math.floor(playerPosition / 3600);
const curMin = Math.floor((playerPosition % 3600) / 60);
const curSec = Math.floor(playerPosition % 60);
const mediaLength = foundPlayer.length;
if (typeof foundPlayer.position === 'number' && foundPlayer.position >= 0) {
const formatTime = (time: number): string => {
return time.toString().padStart(2, '0');
};
const formatHour = (hour: number): string => {
return hour > 0 ? formatTime(hour) + ':' : '';
};
self.tooltip_text = `${formatHour(curHour)}${formatTime(curMin)}:${formatTime(curSec)}`;
self.tooltip_text = `${getFormattedTime(playerPosition)} / ${getFormattedTime(mediaLength)}`;
} else {
self.tooltip_text = `00:00`;
}
};
/**
* Updates the label text of the timestamp based on the player's current position.
*
* @param self - The label component to update.
* @param foundPlayer - The MPRIS player object, if available.
*/
export const updateTimestamp = (self: Label<Attribute>, foundPlayer?: MprisPlayer): void => {
if (foundPlayer === undefined) {
self.label = '00:00';
return;
}
const playerPosition = foundPlayer.position;
const mediaLength = foundPlayer.length;
if (typeof foundPlayer.position === 'number' && foundPlayer.position >= 0) {
self.label = `${getFormattedTime(playerPosition)} / ${getFormattedTime(mediaLength)}`;
} else {
self.label = `00:00`;
}
};
/**
* Updates the value of the slider based on the player's current position and length.
*
@@ -49,3 +63,19 @@ export const update = (self: Slider<Attribute>, foundPlayer?: MprisPlayer): void
self.value = 0;
}
};
export const getFormattedTime = (time: number): string => {
const curHour = Math.floor(time / 3600);
const curMin = Math.floor((time % 3600) / 60);
const curSec = Math.floor(time % 60);
const formatTime = (time: number): string => {
return time.toString().padStart(2, '0');
};
const formatHour = (hour: number): string => {
return hour > 0 ? formatTime(hour) + ':' : '';
};
return `${formatHour(curHour)}${formatTime(curMin)}:${formatTime(curSec)}`;
};