-
-
Notifications
You must be signed in to change notification settings - Fork 37
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is there any way to reduce the size of the player? #129
Comments
What version of Android are you using? |
@toasterofbread android 10 |
Strange, I'm not able to reproduce this. What type of system navigation (like gesture navigation or 3-button) are you using, and are using any mods (like Magisk modules) that change the appearance of the navigation bar? I don't see the navigation bar in the screenshot, is that what it actually looks like on your screen or is it just hidden in the screenshot? |
@toasterofbread sorry for late reply but the issue is still there. maybe its something due to the phone, when i tried the app in a tablet then this issue was not there |
Are you using the commit I mentioned? If not, try with the latest build from the repo actions (I don't think anything's changed but you never know). If that doesn't work then go to the in-app settings, developer, UI debug info, screenshot that page and upload it here please. |
|
Looks like your OS is providing the wrong height for the navigation bar which from what I can tell is hidden, am I right? |
yes, its hidden. thank you so much that'll be awesome. |
I've added a slider that can be used to adjust the system-reported navigation bar height, set it to zero and it should hopefully look fine. It's at the top of the 'Other' section. |
Index Disord status images using an external database, as reading directly from Discord was too slow Add navigation bar height multiplier setting (closes #129) Add MUTE_PLAYER debug key
The text was updated successfully, but these errors were encountered: