anchor.diff:          , panel_left
           , panel_right
           , lc_stack
  +        , lc_stack_size
           , lc_children
           , text_children
  -        , html_win_stats
  -        , stats_report_cfg
  +        , report_html_win
  +        , report_cfg
  +        , report_scroll_pos
           , zipper
           , is_generic_type
           , stack_col_widths
  
positive.code:                    is_generic_type=IsGenericType,
                     stack_col_widths = StWidths0,
                     children_col_widths = ChWidths0,
                     stats_report_cfg = ReportCfg0} = State) ->
      %% use the already measured "desired" widths to compute the actual
      %% widths and set them
      LastColW = get_last_col_width(StWidths0, ChWidths0),
  
negative.code:     %% Save the report area width in the report config
      {ReportW,_ReportH} = wxWindow:getSize(RightPanel),
      ReportCfg = ds_reports:config_store(report, {width, ReportW}, ReportCfg0),
      scrolled_win_set_pos(ReportHtmlWin, ReportScrollPos),
  
      State#state{stack_col_widths = StWidths,
                  children_col_widths = ChWidths,
                  report_cfg = ReportCfg}.
  
  %% keep the last column width the same for both list widgets
  get_last_col_width(StWidths, []) -> lists:last(StWidths);
  