I'm OK with these changes. @JacksonMaxfield What do you think?
Currently, the mini-player appears when the top of main-player is no longer visible.
The mini-player disappears when the top of main-player is visible.
With this PR:
The mini-player appears when the bottom of main-player is no longer visible.
The mini-player disappears when the bottom of main-player is visible.
I'm OK with these changes. @JacksonMaxfield What do you think? Currently, the mini-player appears when the top of main-player is no longer visible. The mini-player disappears when the top of main-player is visible.
With this PR: The mini-player appears when the bottom of main-player is no longer visible. The mini-player disappears when the bottom of main-player is visible.