File tree Expand file tree Collapse file tree 1 file changed +9
-9
lines changed
libs/remix-ui/panel/src/lib/main Expand file tree Collapse file tree 1 file changed +9
-9
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ const RemixUIMainPanel = (props: RemixUIMainPanelProps) => {
19
19
const mainPanelRef = useRef < HTMLDivElement > ( null )
20
20
const tabsRef = useRef < HTMLDivElement > ( null )
21
21
const terminalGroupRef = useRef < HTMLDivElement > ( null )
22
-
22
+
23
23
const refMapping = {
24
24
tabs : tabsRef ,
25
25
editor : editorRef ,
@@ -64,20 +64,20 @@ const RemixUIMainPanel = (props: RemixUIMainPanelProps) => {
64
64
65
65
if ( yRelativeToParent < 0 ) yRelativeToParent = 0
66
66
if ( yRelativeToParent > parentRect . height ) yRelativeToParent = parentRect . height
67
-
67
+
68
68
const totalHeight = parentRect . height - yRelativeToParent
69
-
69
+
70
70
const BOTTOM_BAR_HEIGHT = 32
71
71
72
72
let correctedHeight = totalHeight - BOTTOM_BAR_HEIGHT
73
-
73
+
74
74
const minTerminalHeight = 8
75
75
const minContainerHeight = minTerminalHeight + BOTTOM_BAR_HEIGHT
76
76
77
77
if ( correctedHeight < minContainerHeight ) {
78
78
correctedHeight = minContainerHeight
79
79
}
80
-
80
+
81
81
terminalGroup . style . height = `${ correctedHeight } px`
82
82
resize ( correctedHeight )
83
83
@@ -126,10 +126,10 @@ const RemixUIMainPanel = (props: RemixUIMainPanelProps) => {
126
126
style = { { display : isTerminalVisible ? 'flex' : 'none' } }
127
127
>
128
128
{ terminalPlugins . map ( ( pluginRecord ) => (
129
- < RemixUIPanelPlugin
130
- key = { pluginRecord . profile . name }
131
- pluginRecord = { pluginRecord }
132
- />
129
+ < RemixUIPanelPlugin
130
+ key = { pluginRecord . profile . name }
131
+ pluginRecord = { pluginRecord }
132
+ />
133
133
) ) }
134
134
</ div >
135
135
</ div >
You can’t perform that action at this time.
0 commit comments