File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6565 }
6666
6767 // Add some padding around the nodes themselves
68- const nodePadding = 20 ;
68+ const nodePadding = 10 ;
6969 minX -= nodePadding ;
7070 minY -= nodePadding ;
7171 maxX += nodePadding ;
Original file line number Diff line number Diff line change 380380
381381 // Right panels: Code Editor or Simulation (Properties)
382382 const rightPanelWidth = showCodeEditor ? codeEditorWidth : showProperties ? propertiesPanelWidth : 0 ;
383- const rightPx = (rightPanelWidth > 0 ? rightPanelWidth + PANEL_GAP : 0 ) + 20 ; // 20px extra buffer
383+ const rightPx = (rightPanelWidth > 0 ? rightPanelWidth + PANEL_GAP : 0 ) + 10 ;
384384
385385 // Bottom panels: Plot and Console - only use heights of panels that are actually open
386- let bottomPx = 20 ;
386+ let bottomPx = 10 ;
387387 if (showPlot && showConsole ) {
388- bottomPx = Math .max (plotPanelHeight , consolePanelHeight ) + PANEL_GAP + 20 ;
388+ bottomPx = Math .max (plotPanelHeight , consolePanelHeight ) + PANEL_GAP + 10 ;
389389 } else if (showPlot ) {
390- bottomPx = plotPanelHeight + PANEL_GAP + 20 ;
390+ bottomPx = plotPanelHeight + PANEL_GAP + 10 ;
391391 } else if (showConsole ) {
392- bottomPx = consolePanelHeight + PANEL_GAP + 20 ;
392+ bottomPx = consolePanelHeight + PANEL_GAP + 10 ;
393393 }
394394
395395 // Top: Navigation bar
396- const topPx = NAV_HEIGHT + 20 ; // 20px extra buffer
396+ const topPx = NAV_HEIGHT + 10 ;
397397
398398 setFitViewPadding ({
399399 top: topPx ,
You can’t perform that action at this time.
0 commit comments