mirror of
https://github.com/austinried/subtracks.git
synced 2026-11-11 15:29:15 +01:00
restore the original mini player padding and tab bar height
This commit is contained in:
@@ -776,7 +776,7 @@ private fun TabButton(
|
|||||||
modifier
|
modifier
|
||||||
.onGloballyPositioned { tabLeft = it.boundsInParent().left }
|
.onGloballyPositioned { tabLeft = it.boundsInParent().left }
|
||||||
.clickable(onClick = onClick)
|
.clickable(onClick = onClick)
|
||||||
.padding(start = 8.dp, end = 12.dp, top = 12.dp, bottom = 12.dp),
|
.padding(start = 8.dp, end = 12.dp, top = 6.dp, bottom = 6.dp),
|
||||||
) {
|
) {
|
||||||
if (clipStart != null && clipEnd != null) {
|
if (clipStart != null && clipEnd != null) {
|
||||||
Box(
|
Box(
|
||||||
|
|||||||
@@ -97,7 +97,7 @@ fun MiniPlayer(
|
|||||||
Modifier
|
Modifier
|
||||||
.fillMaxWidth()
|
.fillMaxWidth()
|
||||||
.navigationBarsPadding()
|
.navigationBarsPadding()
|
||||||
.padding(8.dp),
|
.padding(10.dp),
|
||||||
verticalAlignment = Alignment.CenterVertically,
|
verticalAlignment = Alignment.CenterVertically,
|
||||||
horizontalArrangement = Arrangement.spacedBy(12.dp),
|
horizontalArrangement = Arrangement.spacedBy(12.dp),
|
||||||
) {
|
) {
|
||||||
|
|||||||
Reference in New Issue
Block a user