From 1d2725043178929fd3db1a8d7de0e080252b0d49 Mon Sep 17 00:00:00 2001 From: Sebastian Benjamin Date: Fri, 4 Apr 2025 14:21:49 -0700 Subject: [PATCH 1/3] MUI Paper overflow fix --- jbrowse/src/client/JBrowse/jbrowse.css | 25 +++++++++++++++---------- 1 file changed, 15 insertions(+), 10 deletions(-) diff --git a/jbrowse/src/client/JBrowse/jbrowse.css b/jbrowse/src/client/JBrowse/jbrowse.css index 276f91c79..fadb0d4fc 100644 --- a/jbrowse/src/client/JBrowse/jbrowse.css +++ b/jbrowse/src/client/JBrowse/jbrowse.css @@ -1,13 +1,18 @@ /* This corrects a border that placed a small vertical line to the top-left of the search field */ -fieldset.MuiOutlinedInput-notchedOutline > legend { - border-style: none; -} + fieldset.MuiOutlinedInput-notchedOutline > legend { + border-style: none; + } -html { - font-size: 16px !important; -} + html { + font-size: 16px !important; + } -/* Increase font size for tooltips: */ -div[class^="makeStyles-tooltip-"] { - font-size: 12px; -} \ No newline at end of file + /* Increase font size for tooltips: */ + div[class^="makeStyles-tooltip-"] { + font-size: 12px; + } + + .MuiDialog-paperScrollPaper { + max-height: 100vh; + overflow-y: scroll; + } \ No newline at end of file From 15ff65a66ad2c0b3795e0032548c1edb0501f67e Mon Sep 17 00:00:00 2001 From: Sebastian Benjamin Date: Fri, 4 Apr 2025 14:33:22 -0700 Subject: [PATCH 2/3] Remove seperate overflow control from ExtendedVariantWidget --- .../ExtendedVariantWidget/ExtendedVariantWidget.tsx | 2 +- jbrowse/src/client/JBrowse/jbrowse.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/jbrowse/src/client/JBrowse/Browser/plugins/ExtendedVariantPlugin/ExtendedVariantWidget/ExtendedVariantWidget.tsx b/jbrowse/src/client/JBrowse/Browser/plugins/ExtendedVariantPlugin/ExtendedVariantWidget/ExtendedVariantWidget.tsx index 3c3ddced5..1fe878691 100644 --- a/jbrowse/src/client/JBrowse/Browser/plugins/ExtendedVariantPlugin/ExtendedVariantWidget/ExtendedVariantWidget.tsx +++ b/jbrowse/src/client/JBrowse/Browser/plugins/ExtendedVariantPlugin/ExtendedVariantWidget/ExtendedVariantWidget.tsx @@ -407,7 +407,7 @@ export default jbrowse => { feat["INFO"] = null return ( - + {message} Date: Fri, 4 Apr 2025 15:21:59 -0700 Subject: [PATCH 3/3] Consistent formatting --- jbrowse/src/client/JBrowse/jbrowse.css | 28 +++++++++++++------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/jbrowse/src/client/JBrowse/jbrowse.css b/jbrowse/src/client/JBrowse/jbrowse.css index e4d8b1aaa..26614061a 100644 --- a/jbrowse/src/client/JBrowse/jbrowse.css +++ b/jbrowse/src/client/JBrowse/jbrowse.css @@ -1,18 +1,18 @@ /* This corrects a border that placed a small vertical line to the top-left of the search field */ - fieldset.MuiOutlinedInput-notchedOutline > legend { - border-style: none; - } +fieldset.MuiOutlinedInput-notchedOutline > legend { + border-style: none; +} - html { - font-size: 16px !important; - } +html { + font-size: 16px !important; +} - /* Increase font size for tooltips: */ - div[class^="makeStyles-tooltip-"] { - font-size: 12px; - } +/* Increase font size for tooltips: */ +div[class^="makeStyles-tooltip-"] { + font-size: 12px; +} - .MuiDialog-paperScrollPaper { - max-height: 95vh; - overflow-y: scroll; - } \ No newline at end of file +.MuiDialog-paperScrollPaper { + max-height: 95vh; + overflow-y: scroll; +} \ No newline at end of file