anchor.diff:  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
   update_gui(#state{lc_stack=LC_Stack, lc_children=LC_Children,
  -                  text_children=TextChildren,
  -                  text_ext=TextExt,
  -                  zipper=Zipper} = State0) ->
  +                  text_children=TextChildren, zipper=Zipper} = State0) ->
       wxListCtrl:deleteAllItems(LC_Stack),
       Stack0 = ds_zipper:stack(Zipper),
       Stack = stack_with_parent_refs(Stack0),
  
positive.code:     wxSplitterWindow:setMinimumPaneSize(LeftSplitter, 1),
      wxSizer:add(LeftSizer, LeftSplitter, SizerOpts),
  
      %% Right panel
      RightPanel = wxPanel:new(Splitter, []),
      RightSplitter = wxSplitterWindow:new(RightPanel, []),
      RightSizer = wxBoxSizer:new(?wxVERTICAL),
      wxPanel:setSizer(RightPanel, RightSizer),
  
      TopRightPanel = wxPanel:new(RightSplitter, []),
      TopRightSizer = wxBoxSizer:new(?wxVERTICAL),
      wxPanel:setSizer(TopRightPanel, TopRightSizer),
      HtmlWinStats = wxHtmlWindow:new(TopRightPanel, []),
      wxHtmlWindow:connect(HtmlWinStats, command_html_link_clicked, []),
      wxSizer:add(TopRightSizer, HtmlWinStats, SizerOpts),
  
      BottomRightPanel = wxPanel:new(RightSplitter, []),
      BottomRightSizer = wxBoxSizer:new(?wxVERTICAL),
      wxPanel:setSizer(BottomRightPanel, BottomRightSizer),
      TextExt = wxTextCtrl:new(BottomRightPanel, ?wxID_ANY,
                               [{value, "Extended data"},
                                {style, ?wxDEFAULT bor ?wxTE_MULTILINE}]),
      wxSizer:add(BottomRightSizer, TextExt, SizerOpts),
  
      wxSplitterWindow:splitHorizontally(RightSplitter, TopRightPanel, BottomRightPanel),
      wxSplitterWindow:setSashGravity(RightSplitter, 0.5),
      wxSplitterWindow:setMinimumPaneSize(RightSplitter, 1),
      wxSizer:add(RightSizer, RightSplitter, SizerOpts),
  
      %% Main vertical splitter
      wxSplitterWindow:splitVertically(Splitter, LeftPanel, RightPanel),
  
negative.code:         , text_children
          , html_win_stats
          , stats_report_cfg
          , zipper
          , is_generic_type
          , stack_col_widths
  