Header.hs

module GHC.Debug.Brick.Render.Header (
  renderHeaderWithSummary
) where

import Brick.Types (Widget)
import Brick.Widgets.Core

renderHeaderWithSummary :: Widget n -> Widget n -> Widget n
renderHeaderWithSummary header statsPanel =
  joinBorders $ header <+> padRight (Pad 1) (padLeft Max statsPanel)