From 959cb5fd4f9586ec3bd265b452fe25fe1db82e3f Mon Sep 17 00:00:00 2001 From: jeff Date: Tue, 13 Jan 2015 23:25:04 -0500 Subject: source format change don't hate me too much if you were planning a big merge. =P --- src/cuchaz/enigma/gui/SelectionHighlightPainter.java | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'src/cuchaz/enigma/gui/SelectionHighlightPainter.java') diff --git a/src/cuchaz/enigma/gui/SelectionHighlightPainter.java b/src/cuchaz/enigma/gui/SelectionHighlightPainter.java index 35f9451..5e189d2 100644 --- a/src/cuchaz/enigma/gui/SelectionHighlightPainter.java +++ b/src/cuchaz/enigma/gui/SelectionHighlightPainter.java @@ -20,16 +20,15 @@ import java.awt.Shape; import javax.swing.text.Highlighter; import javax.swing.text.JTextComponent; -public class SelectionHighlightPainter implements Highlighter.HighlightPainter -{ +public class SelectionHighlightPainter implements Highlighter.HighlightPainter { + @Override - public void paint( Graphics g, int start, int end, Shape shape, JTextComponent text ) - { + public void paint(Graphics g, int start, int end, Shape shape, JTextComponent text) { // draw a thick border Graphics2D g2d = (Graphics2D)g; - Rectangle bounds = BoxHighlightPainter.getBounds( text, start, end ); - g2d.setColor( Color.black ); - g2d.setStroke( new BasicStroke( 2.0f ) ); - g2d.drawRoundRect( bounds.x, bounds.y, bounds.width, bounds.height, 4, 4 ); + Rectangle bounds = BoxHighlightPainter.getBounds(text, start, end); + g2d.setColor(Color.black); + g2d.setStroke(new BasicStroke(2.0f)); + g2d.drawRoundRect(bounds.x, bounds.y, bounds.width, bounds.height, 4, 4); } } -- cgit v1.2.3