message: fix: remember spaces in className
diff: @@ -157,7 +157,7 @@ export function InfoDisplay(props0: InfoDisplayProps) {
  </a>
  </span>
  const filterButton = <span className='fr'>
  - <WithTooltipOnHover tooltipContent={() => {return filterMenu}}>
  + <WithTooltipOnHover mkTooltipContent={() => {return filterMenu}}>
  <a className={'link pointer mh2 dim codicon ' + ((!goalFilters.isInstance || !goalFilters.isType || !goalFilters.isHiddenAssumption) ? 'codicon-filter-filled ': 'codicon-filter ')}/>
  </WithTooltipOnHover></span>
  