home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / JTextPane.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  4.4 KB  |  185 lines

  1. package javax.swing;
  2.  
  3. import java.awt.Component;
  4. import java.io.IOException;
  5. import java.io.ObjectOutputStream;
  6. import javax.swing.text.AttributeSet;
  7. import javax.swing.text.BadLocationException;
  8. import javax.swing.text.Caret;
  9. import javax.swing.text.Document;
  10. import javax.swing.text.EditorKit;
  11. import javax.swing.text.Element;
  12. import javax.swing.text.JTextComponent;
  13. import javax.swing.text.MutableAttributeSet;
  14. import javax.swing.text.Style;
  15. import javax.swing.text.StyleConstants;
  16. import javax.swing.text.StyledDocument;
  17. import javax.swing.text.StyledEditorKit;
  18.  
  19. public class JTextPane extends JEditorPane {
  20.    private static final String uiClassID = "TextPaneUI";
  21.  
  22.    public JTextPane() {
  23.       this.setEditorKit(new StyledEditorKit());
  24.    }
  25.  
  26.    public JTextPane(StyledDocument var1) {
  27.       this();
  28.       this.setStyledDocument(var1);
  29.    }
  30.  
  31.    public String getUIClassID() {
  32.       return "TextPaneUI";
  33.    }
  34.  
  35.    public void setDocument(Document var1) {
  36.       if (var1 instanceof StyledDocument) {
  37.          super.setDocument(var1);
  38.       } else {
  39.          throw new IllegalArgumentException("Model must be StyledDocument");
  40.       }
  41.    }
  42.  
  43.    public void setStyledDocument(StyledDocument var1) {
  44.       super.setDocument(var1);
  45.    }
  46.  
  47.    public StyledDocument getStyledDocument() {
  48.       return (StyledDocument)((JTextComponent)this).getDocument();
  49.    }
  50.  
  51.    public void replaceSelection(String var1) {
  52.       if (!((JTextComponent)this).isEditable()) {
  53.          ((Component)this).getToolkit().beep();
  54.       } else {
  55.          StyledDocument var2 = this.getStyledDocument();
  56.          if (var2 != null) {
  57.             try {
  58.                Caret var3 = ((JTextComponent)this).getCaret();
  59.                int var4 = Math.min(var3.getDot(), var3.getMark());
  60.                int var5 = Math.max(var3.getDot(), var3.getMark());
  61.                if (var4 != var5) {
  62.                   var2.remove(var4, var5 - var4);
  63.                }
  64.  
  65.                if (var1 != null && var1.length() > 0) {
  66.                   var2.insertString(var4, var1, this.getInputAttributes());
  67.                }
  68.             } catch (BadLocationException var6) {
  69.                ((Component)this).getToolkit().beep();
  70.             }
  71.          }
  72.  
  73.       }
  74.    }
  75.  
  76.    public void insertComponent(Component var1) {
  77.       MutableAttributeSet var2 = this.getInputAttributes();
  78.       var2.removeAttributes(var2);
  79.       StyleConstants.setComponent(var2, var1);
  80.       this.replaceSelection(" ");
  81.       var2.removeAttributes(var2);
  82.    }
  83.  
  84.    public void insertIcon(Icon var1) {
  85.       MutableAttributeSet var2 = this.getInputAttributes();
  86.       var2.removeAttributes(var2);
  87.       StyleConstants.setIcon(var2, var1);
  88.       this.replaceSelection(" ");
  89.       var2.removeAttributes(var2);
  90.    }
  91.  
  92.    public Style addStyle(String var1, Style var2) {
  93.       StyledDocument var3 = this.getStyledDocument();
  94.       return var3.addStyle(var1, var2);
  95.    }
  96.  
  97.    public void removeStyle(String var1) {
  98.       StyledDocument var2 = this.getStyledDocument();
  99.       var2.removeStyle(var1);
  100.    }
  101.  
  102.    public Style getStyle(String var1) {
  103.       StyledDocument var2 = this.getStyledDocument();
  104.       return var2.getStyle(var1);
  105.    }
  106.  
  107.    public void setLogicalStyle(Style var1) {
  108.       StyledDocument var2 = this.getStyledDocument();
  109.       var2.setLogicalStyle(((JTextComponent)this).getCaretPosition(), var1);
  110.    }
  111.  
  112.    public Style getLogicalStyle() {
  113.       StyledDocument var1 = this.getStyledDocument();
  114.       return var1.getLogicalStyle(((JTextComponent)this).getCaretPosition());
  115.    }
  116.  
  117.    public AttributeSet getCharacterAttributes() {
  118.       StyledDocument var1 = this.getStyledDocument();
  119.       Element var2 = var1.getCharacterElement(((JTextComponent)this).getCaretPosition());
  120.       return var2 != null ? var2.getAttributes() : null;
  121.    }
  122.  
  123.    public void setCharacterAttributes(AttributeSet var1, boolean var2) {
  124.       int var3 = ((JTextComponent)this).getSelectionStart();
  125.       int var4 = ((JTextComponent)this).getSelectionEnd();
  126.       if (var3 != var4) {
  127.          StyledDocument var5 = this.getStyledDocument();
  128.          var5.setCharacterAttributes(var3, var4 - var3, var1, var2);
  129.       } else {
  130.          MutableAttributeSet var6 = this.getInputAttributes();
  131.          if (var2) {
  132.             var6.removeAttributes(var6);
  133.          }
  134.  
  135.          var6.addAttributes(var1);
  136.       }
  137.  
  138.    }
  139.  
  140.    public AttributeSet getParagraphAttributes() {
  141.       StyledDocument var1 = this.getStyledDocument();
  142.       Element var2 = var1.getParagraphElement(((JTextComponent)this).getCaretPosition());
  143.       return var2 != null ? var2.getAttributes() : null;
  144.    }
  145.  
  146.    public void setParagraphAttributes(AttributeSet var1, boolean var2) {
  147.       int var3 = ((JTextComponent)this).getSelectionStart();
  148.       int var4 = ((JTextComponent)this).getSelectionEnd();
  149.       StyledDocument var5 = this.getStyledDocument();
  150.       var5.setParagraphAttributes(var3, var4 - var3, var1, var2);
  151.    }
  152.  
  153.    public MutableAttributeSet getInputAttributes() {
  154.       return this.getStyledEditorKit().getInputAttributes();
  155.    }
  156.  
  157.    protected final StyledEditorKit getStyledEditorKit() {
  158.       return (StyledEditorKit)((JEditorPane)this).getEditorKit();
  159.    }
  160.  
  161.    private void writeObject(ObjectOutputStream var1) throws IOException {
  162.       var1.defaultWriteObject();
  163.       if (super.ui != null && this.getUIClassID().equals("TextPaneUI")) {
  164.          super.ui.installUI(this);
  165.       }
  166.  
  167.    }
  168.  
  169.    protected EditorKit createDefaultEditorKit() {
  170.       return new StyledEditorKit();
  171.    }
  172.  
  173.    public final void setEditorKit(EditorKit var1) {
  174.       if (var1 instanceof StyledEditorKit) {
  175.          super.setEditorKit(var1);
  176.       } else {
  177.          throw new IllegalArgumentException("Must be StyledEditorKit");
  178.       }
  179.    }
  180.  
  181.    protected String paramString() {
  182.       return super.paramString();
  183.    }
  184. }
  185.