johrpan/musicus
1
0
Fork 0
mirror of https://github.com/johrpan/musicus.git synced 2025-10-26 19:57:25 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Apply some clippy suggestions

Browse source
This commit is contained in:
Elias Projahn 2023-11-25 15:05:40 +01:00
parent e26444c982
commit 0926d912eb
4 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/player_bar.rs
View file

@ -71,9 +71,7 @@ mod imp {
self.remaining_time_label.set_label(&format_time(
player
.duration_ms()
.checked_sub(current_time_ms)
.unwrap_or(0),
.duration_ms().saturating_sub(current_time_ms),
));
}
}