|
|
@ -12,6 +12,7 @@ import java.awt.*; |
|
|
|
import java.awt.event.*; |
|
|
|
import java.awt.event.*; |
|
|
|
import java.awt.datatransfer.*; |
|
|
|
import java.awt.datatransfer.*; |
|
|
|
import java.awt.event.ActionEvent; |
|
|
|
import java.awt.event.ActionEvent; |
|
|
|
|
|
|
|
import java.awt.geom.Line2D; |
|
|
|
import java.io.*; |
|
|
|
import java.io.*; |
|
|
|
import javax.swing.*; |
|
|
|
import javax.swing.*; |
|
|
|
import javax.swing.plaf.*; |
|
|
|
import javax.swing.plaf.*; |
|
|
@ -454,9 +455,9 @@ public class ConfigurableCaret extends DefaultCaret { |
|
|
|
|
|
|
|
|
|
|
|
// A thicker vertical line.
|
|
|
|
// A thicker vertical line.
|
|
|
|
case THICK_VERTICAL_LINE_STYLE: |
|
|
|
case THICK_VERTICAL_LINE_STYLE: |
|
|
|
g.drawLine(r.x,r.y, r.x,r.y+r.height); |
|
|
|
Graphics2D g2 = (Graphics2D) g; |
|
|
|
r.x++; |
|
|
|
g2.setStroke(new BasicStroke(2)); |
|
|
|
g.drawLine(r.x,r.y, r.x,r.y+r.height); |
|
|
|
g2.draw(new Line2D.Float(r.x, r.y, r.x, r.y + r.height)); |
|
|
|
break; |
|
|
|
break; |
|
|
|
|
|
|
|
|
|
|
|
} // End of switch (style).
|
|
|
|
} // End of switch (style).
|
|
|
|