From cf9b6f3516727c58fbad8c5e0e3cc0f5dabb7913 Mon Sep 17 00:00:00 2001 From: Fabrizio Scarponi <36624359+fscarponi@users.noreply.github.com> Date: Thu, 25 Jan 2024 08:54:13 +0100 Subject: [PATCH] Fix InfoPanel Tab margins (#34) --- .../plugin/ui/panels/side/PackageSearchInfoPanel.kt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/plugin/src/main/kotlin/com/jetbrains/packagesearch/plugin/ui/panels/side/PackageSearchInfoPanel.kt b/plugin/src/main/kotlin/com/jetbrains/packagesearch/plugin/ui/panels/side/PackageSearchInfoPanel.kt index c9377dec..3df9d83c 100644 --- a/plugin/src/main/kotlin/com/jetbrains/packagesearch/plugin/ui/panels/side/PackageSearchInfoPanel.kt +++ b/plugin/src/main/kotlin/com/jetbrains/packagesearch/plugin/ui/panels/side/PackageSearchInfoPanel.kt @@ -15,6 +15,7 @@ import androidx.compose.runtime.getValue import androidx.compose.ui.Alignment import androidx.compose.ui.Modifier import androidx.compose.ui.text.style.TextAlign +import androidx.compose.ui.unit.dp import com.jetbrains.packagesearch.plugin.PackageSearchBundle import com.jetbrains.packagesearch.plugin.ui.PackageSearchMetrics import com.jetbrains.packagesearch.plugin.ui.bridge.LabelInfo @@ -48,7 +49,9 @@ fun PackageSearchInfoPanel( selected = activeTabTitle == infoPanelContent.tabTitle, closable = false, content = { tabState -> - SimpleTabContent(infoPanelContent.tabTitle, tabState) + Box(modifier = Modifier.padding(horizontal = 8.dp, vertical = 4.dp)) { + SimpleTabContent(infoPanelContent.tabTitle, tabState) + } }, onClick = { viewModel.setActiveTabTitle(infoPanelContent.tabTitle) }, )