source: trunk/greenstone3-extensions/vishnu/src/vishnu/testvis/dendro/HLinkPanel.java@ 8189

package vishnu.testvis.dendro;

import javax.swing.*;
import javax.swing.text.html.*;
import javax.swing.event.*;
import java.awt.*;
import java.awt.event.*;
import java.util.Vector;
import vishnu.testvis.visual.*;

class HLinkPanel extends JEditorPane {

    public JScrollPane linkPane;
    public Vishnu currentMain;
    public int index = 0;

    public int numDisplayedDocs = 15;

    public HLinkPanel(int width,int length, Vishnu currentMain) {

        linkPane = new JScrollPane(this);
        this.currentMain=currentMain;
        linkPane.setBorder(BorderFactory.createLoweredBevelBorder());
        linkPane.setPreferredSize(new Dimension(width,length));
        //linkPane.setMinimumSize(new Dimension(width,length));
        linkPane.setBorder(new javax.swing.border.EtchedBorder());
        linkPane.getVerticalScrollBar().setUnitIncrement(10);

        setLayout(new GridLayout(17,1));


        setEditorKitForContentType("text/html",new HTMLEditorKit());
        setEditorKit(new HTMLEditorKit());
        setEditable(false);

        addHyperlinkListener(new MyLinkListener());

        setVisible(true);

    }

    public class MyLinkListener implements HyperlinkListener{
        public void hyperlinkUpdate(HyperlinkEvent he){
            //System.out.println("Inside hyperlinkevent ... ");
            HyperlinkEvent.EventType type = he.getEventType();
            //System.out.println("Inside hyperlinkevent ... ");
            if (type==HyperlinkEvent.EventType.ACTIVATED)
            {

                String hpresult = he.getDescription();
                int index = Integer.parseInt(hpresult);
                System.out.println("hyperlink result: " + index);
                if (index > 0)
                    currentMain.dataManager.fetchDocNo(index);
            }
        }
    }

    /*public void update()
    {
        int count = currentMain.dataManager.getDocCount();
        Vector subSet = new Vector(count);

        for (int i = index ; i < index + numDisplayedDocs  ; i++)
        {
            subSet.addElement(new Integer(i));
        }

        String htmlDescription = currentMain.dataManager.getDocumentDescription(subSet);

        setText(htmlDescription);

    }*/

    public void clear()
    {
        setText("");
    }

}