// (c) MIT 2003.  All rights reserved.

// -*-Mode: JDE-*- 
// $Id: Tabs.java,v 1.5 2003/03/06 00:40:49 moltmans Exp $
// Tabs.java -- 
// Author: Michael Oltmans <moltmans@ai.mit.edu> 
// Created: <Mon Jun 12 14:32:21 2000> 
// Time-stamp: <2001-02-02 15:05:12 moltmans> 
package rec.annotate.gui;

import javax.swing.*;
import java.awt.*;
import java.awt.event.*;

import rec.util.*;
import rec.annotate.rules.*;
import rec.tms.gui.*;

public class Tabs extends JTabbedPane
{
  private FactBrowser m_facts;
  private CausalPane m_causes;

  public Tabs( Notebook book )
  {
    m_causes = new CausalPane( book );
    //    m_facts = new FactBrowser( book.getJTRE() );

    // facts (body 23, body 25)
    // causes (a causes b causes c)
    // explanations (because a is longer than b)
    // structural constraints (attachment)
    // observations (part 23 is a lever)

    addTab( "Causal", null, m_causes, "Display the Causal Structure" );
    //    addTab( "Facts", null, m_facts, "A simple fact browser" );
  }

  public void updateNotes() 
  {
    //    m_facts.update();
    m_causes.updateNotes();
  }
}

