mirror of
https://github.com/aome510/spotify-player.git
synced 2026-04-26 09:25:49 +03:00
[PR #132] [MERGED] Add various UI improvements #638
Labels
No labels
bug
documentation
enhancement
good first issue
help wanted
pull-request
question
third-party
third-party
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/spotify-player#638
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/aome510/spotify-player/pull/132
Author: @aome510
Created: 2/14/2023
Status: ✅ Merged
Merged: 2/14/2023
Merged by: @aome510
Base:
master← Head:ui-improvements📝 Commits (4)
fe384c2support displaying liked status of a track in track tablecb843f2allow to configure playback position67ed588cleanup documents and examples23706b2keep the layout consistent with command help and queue popups📊 Changes
8 files changed (+83 additions, -49 deletions)
View changed files
📝
docs/config.md(+3 -0)📝
examples/app.toml(+2 -0)📝
spotify_player/src/command.rs(+1 -1)📝
spotify_player/src/config/mod.rs(+13 -0)📝
spotify_player/src/state/data.rs(+5 -0)📝
spotify_player/src/ui/mod.rs(+32 -16)📝
spotify_player/src/ui/page.rs(+21 -6)📝
spotify_player/src/ui/popup.rs(+6 -26)📄 Description
Resolves #124. Resolves #128
Changes
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.