From 65cbcb4f5c23d0debe8caeff9ec277cd77736abe Mon Sep 17 00:00:00 2001
From: benrichard-amd <ben.richard@amd.com>
Date: Tue, 16 Apr 2024 13:43:18 -0500
Subject: [PATCH] Change kernel menu item size

Was 150 pixels. Change to 36 pixels.
---
 src/utils/gui_components/header.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utils/gui_components/header.py b/src/utils/gui_components/header.py
index d8255ae46..7fa16c6d7 100644
--- a/src/utils/gui_components/header.py
+++ b/src/utils/gui_components/header.py
@@ -282,7 +282,7 @@ def get_header(raw_pmc, input_filters, kernel_names):
                                                 id="kernel-filt",
                                                 multi=True,
                                                 value=input_filters["kernel"],
-                                                optionHeight=150,
+                                                optionHeight=36,
                                                 placeholder="ALL",
                                                 style={
                                                     "width": "600px",  # TODO: Change these widths to % rather than fixed value