home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.text;
-
- import com.sun.java.swing.plaf.TextUI;
- import java.awt.Color;
- import java.awt.Graphics;
- import java.awt.Rectangle;
- import java.awt.Shape;
-
- public class DefaultHighlighter$DefaultHighlightPainter implements Highlighter.HighlightPainter {
- private Color color;
-
- public DefaultHighlighter$DefaultHighlightPainter(Color var1) {
- this.color = var1;
- }
-
- public Color getColor() {
- return this.color;
- }
-
- public void paint(Graphics var1, int var2, int var3, Shape var4, JTextComponent var5) {
- Rectangle var6 = var4.getBounds();
-
- try {
- TextUI var7 = var5.getUI();
- Rectangle var8 = var7.modelToView(var2);
- Rectangle var9 = var7.modelToView(var3);
- var1.setColor(this.getColor());
- if (var8.y == var9.y) {
- Rectangle var12 = var8.union(var9);
- var1.fillRect(var12.x, var12.y, var12.width, var12.height);
- } else {
- int var10 = var6.x + var6.width - var8.x;
- var1.fillRect(var8.x, var8.y, var10, var8.height);
- if (var8.y + var8.height != var9.y) {
- var1.fillRect(var6.x, var8.y + var8.height, var6.width, var9.y - (var8.y + var8.height));
- }
-
- var1.fillRect(var6.x, var9.y, var9.x - var6.x, var9.height);
- }
- } catch (BadLocationException var11) {
- }
- }
- }
-