alex/musicplayer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use time.to_duration_string

Browse Source
This commit is contained in:
Alexander Heldt
2025-11-23 18:54:14 +01:00
parent e746bfafcf
commit 008566c87f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/musicplayer/musicplayer.gleam
View File

@@ -1,8 +1,8 @@
import gleam/erlang/process.{type Name, type Subject} import gleam/erlang/process.{type Name, type Subject}
import gleam/float
import gleam/otp/actor import gleam/otp/actor
import gleam/result import gleam/result
import gleam/string import gleam/string
import musicplayer/time/time
import musicplayer/control.{type Control} import musicplayer/control.{type Control}
import musicplayer/input/key.{type Key} import musicplayer/input/key.{type Key}
@@ -85,7 +85,7 @@ fn handle_message(
process.send( process.send(
state.ui, state.ui,
ui_control.UpdateState( ui_control.UpdateState(
"playback time: " <> float.to_string(playback_time), "playback time: " <> time.to_duration_string(playback_time),
), ),
) )
} }