From ee471642397f8954f84241436fccfe5bc167436b Mon Sep 17 00:00:00 2001 From: Sebastiano Poggi Date: Wed, 17 Jul 2024 13:03:21 +0200 Subject: [PATCH] Fix menu border width in bridge (#452) --- .../main/kotlin/org/jetbrains/jewel/bridge/theme/IntUiBridge.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ide-laf-bridge/src/main/kotlin/org/jetbrains/jewel/bridge/theme/IntUiBridge.kt b/ide-laf-bridge/src/main/kotlin/org/jetbrains/jewel/bridge/theme/IntUiBridge.kt index 2be293ae9..bd1ca49fb 100644 --- a/ide-laf-bridge/src/main/kotlin/org/jetbrains/jewel/bridge/theme/IntUiBridge.kt +++ b/ide-laf-bridge/src/main/kotlin/org/jetbrains/jewel/bridge/theme/IntUiBridge.kt @@ -737,7 +737,7 @@ private fun readMenuStyle(): MenuStyle { contentPadding = PaddingValues(horizontal = 0.dp, vertical = 6.dp), offset = DpOffset(0.dp, 2.dp), shadowSize = 12.dp, - borderWidth = retrieveIntAsDpOrUnspecified("Popup.borderWidth").takeOrElse { 2.dp }, + borderWidth = retrieveIntAsDpOrUnspecified("Popup.borderWidth").takeOrElse { 1.dp }, itemMetrics = MenuItemMetrics( selectionCornerSize = CornerSize(JBUI.CurrentTheme.PopupMenu.Selection.ARC.dp / 2),