Tweak scrollbars

romainguy · Sep 5, 2024 · 0022355 · 0022355
1 parent 8c805bd
commit 0022355
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt b/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt
@@ -304,7 +304,7 @@ private fun DocumentationPanel(markdownBlocks: List<MarkdownBlock>) {
                 .fillMaxSize()
                 .background(Color.White)
                 .border(1.dp, JewelTheme.globalColors.borders.normal)
-                .padding(8.dp)
+                .padding(8.dp, 2.dp, 4.dp, 2.dp)
             ) {
                 Box(Modifier
                     .fillMaxSize()
@@ -315,7 +315,7 @@ private fun DocumentationPanel(markdownBlocks: List<MarkdownBlock>) {
                         "",  // TODO: we should pass the raw Markdown
                         Modifier
                             .fillMaxSize()
-                            .padding(end = 12.dp)
+                            .padding(0.dp, 6.dp, 6.dp, 8.dp)
                             .focusable(false),
                         selectable = true,
                         onUrlClick = { url -> Desktop.getDesktop().browse(URI.create(url)) }
@@ -341,7 +341,7 @@ private fun LogsPanel(logs: AnnotatedString) {
             .fillMaxSize()
             .background(Color.White)
             .border(1.dp, JewelTheme.globalColors.borders.normal)
-            .padding(8.dp)
+            .padding(8.dp, 2.dp, 4.dp, 2.dp)
         ) {
             Box(Modifier
                 .fillMaxSize()
@@ -354,7 +354,7 @@ private fun LogsPanel(logs: AnnotatedString) {
                         fontSize = 12.sp,
                         modifier = Modifier
                             .fillMaxSize()
-                            .padding(end = 12.dp)
+                            .padding(0.dp, 6.dp, 6.dp, 8.dp)
                             .focusable(false)
                     )
                 }