docs: private void showSeparators()
      {
          ListModel<Separator> ml = sepList.getModel();
          for (int i = 0; i < ml.getSize(); i++)
              drawSeparator(ml.getElementAt(i));
          browser.updateDisplay();
      }
      
      //========================================================================================
      
      private JPanel getSepListPanel()
      {
          if (sepListPanel == null)
          {
              GridLayout gridLayout3 = new GridLayout();
              gridLayout3.setRows(1);
              gridLayout3.setColumns(1);
              sepListPanel = new JPanel();
              sepListPanel.setLayout(gridLayout3);
              sepListPanel.add(getSepScroll(), null);
          }
          return sepListPanel;
      }
  
      private JScrollPane getSepScroll()
      {
          if (sepScroll == null)
          {
              sepScroll = new JScrollPane();
              sepScroll.setViewportView(getSepList());
          }
          return sepScroll;
      }
  
      private JList<Separator> getSepList()
      {
          if (sepList == null)
          {
              sepList = new JList<Separator>();
              sepList.addListSelectionListener(new javax.swing.event.ListSelectionListener()
              {
                  public void valueChanged(javax.swing.event.ListSelectionEvent e)
                  {
                      Separator sep = (Separator) sepList.getSelectedValue();
                      if (sep != null)
                      {
                          drawSeparator(sep);
                          browser.updateDisplay();
                      }
                  }
              });
          }
          return sepList;
      }
  
      private JToolBar getShowToolBar()
      {
          if (showToolBar == null)
          {
              showToolBar = new JToolBar("Segmentation");
              showToolBar.add(getShowSepButton());
              showToolBar.add(getGridButton());
          }
          return showToolBar;
      }
      
      private JButton getShowSepButton()
      {
          if (showSepButton == null)
          {
              showSepButton = new JButton();
              showSepButton.setText("Separators");
              showSepButton.addActionListener(new java.awt.event.ActionListener()
              {
                  public void actionPerformed(java.awt.event.ActionEvent e)
                  {
                      showSeparators();
                  }
              });
          }
          return showSepButton;
      }
  
      /**
       * This method initializes gridButton   
       *  
       * @return javax.swing.JButton  
       */
      private JButton getGridButton()
      {
          if (gridButton == null)
          {
              gridButton = new JButton();
              gridButton.setText("Show grid");
              gridButton.addActionListener(new java.awt.event.ActionListener()
              {
                  public void actionPerformed(java.awt.event.ActionEvent e)
                  {
                      Area node = browser.getSelectedArea();
                      if (node != null)
                      {
                          node.getTopology().drawLayout(browser.getOutputDisplay());
                          browser.updateDisplay();
                      }
                  }
              });
          }
          return gridButton;
      }
  
  
      
  }