From 7c0316b2d36d1b9a087424dc0483cf5c172f3ed8 Mon Sep 17 00:00:00 2001 From: Abdelilah El Aissaoui Date: Wed, 5 Jan 2022 02:58:57 +0100 Subject: [PATCH] Reduced diff header size --- src/main/kotlin/app/ui/Diff.kt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/main/kotlin/app/ui/Diff.kt b/src/main/kotlin/app/ui/Diff.kt index 9c1ef69..43e7b89 100644 --- a/src/main/kotlin/app/ui/Diff.kt +++ b/src/main/kotlin/app/ui/Diff.kt @@ -53,7 +53,6 @@ fun Diff( .fillMaxSize(), state = scrollState ) { - item { Spacer(modifier = Modifier.height(16.dp)) } items(hunks) { hunk -> HunkHeader( hunk = hunk, @@ -139,7 +138,7 @@ fun DiffHeader(diffEntry: DiffEntry, onCloseDiffView: () -> Unit) { Text( text = filePath, color = MaterialTheme.colors.primaryTextColor, - fontSize = 16.sp, + fontSize = 14.sp, modifier = Modifier.padding(horizontal = 16.dp), )