home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.text.html;
-
- import com.sun.java.swing.JEditorPane;
- import com.sun.java.swing.event.HyperlinkEvent;
- import com.sun.java.swing.event.HyperlinkEvent.EventType;
- import com.sun.java.swing.text.AttributeSet;
- import com.sun.java.swing.text.Document;
- import com.sun.java.swing.text.Element;
- import com.sun.java.swing.text.JTextComponent;
- import com.sun.java.swing.text.StyledDocument;
- import java.awt.Point;
- import java.awt.event.MouseAdapter;
- import java.awt.event.MouseEvent;
- import java.net.MalformedURLException;
- import java.net.URL;
- import java.util.EventObject;
-
- public class HTMLEditorKit$LinkController extends MouseAdapter {
- public void mouseClicked(MouseEvent var1) {
- JEditorPane var2 = (JEditorPane)((EventObject)var1).getSource();
- if (!((JTextComponent)var2).isEditable()) {
- Point var3 = new Point(var1.getX(), var1.getY());
- int var4 = ((JTextComponent)var2).viewToModel(var3);
- if (var4 >= 0) {
- this.activateLink(var4, var2);
- }
- }
-
- }
-
- protected final void activateLink(int var1, JEditorPane var2) {
- Document var3 = ((JTextComponent)var2).getDocument();
- if (var3 instanceof StyledDocument) {
- StyledDocument var4 = (StyledDocument)var3;
- Element var5 = var4.getCharacterElement(var1);
- AttributeSet var6 = var5.getAttributes();
- String var7 = (String)var6.getAttribute("href");
- if (var7 != null) {
- URL var8;
- try {
- var8 = new URL(var2.getPage(), var7);
- } catch (MalformedURLException var10) {
- var8 = null;
- }
-
- HyperlinkEvent var9 = new HyperlinkEvent(var2, EventType.ACTIVATED, var8);
- var2.fireHyperlinkUpdate(var9);
- }
- }
-
- }
- }
-