From 52ab426d8fad3dbee7e728f523a35af94facebda Mon Sep 17 00:00:00 2001
From: jeff
Date: Tue, 3 Feb 2015 22:00:53 -0500
Subject: oops, don't depend on local procyon project

---
 .../enigma/gui/SelectionHighlightPainter.java      | 34 ++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 src/cuchaz/enigma/gui/SelectionHighlightPainter.java

(limited to 'src/cuchaz/enigma/gui/SelectionHighlightPainter.java')

diff --git a/src/cuchaz/enigma/gui/SelectionHighlightPainter.java b/src/cuchaz/enigma/gui/SelectionHighlightPainter.java
new file mode 100644
index 0000000..5e189d2
--- /dev/null
+++ b/src/cuchaz/enigma/gui/SelectionHighlightPainter.java
@@ -0,0 +1,34 @@
+/*******************************************************************************
+ * Copyright (c) 2014 Jeff Martin.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the GNU Public License v3.0
+ * which accompanies this distribution, and is available at
+ * http://www.gnu.org/licenses/gpl.html
+ * 
+ * Contributors:
+ *     Jeff Martin - initial API and implementation
+ ******************************************************************************/
+package cuchaz.enigma.gui;
+
+import java.awt.BasicStroke;
+import java.awt.Color;
+import java.awt.Graphics;
+import java.awt.Graphics2D;
+import java.awt.Rectangle;
+import java.awt.Shape;
+
+import javax.swing.text.Highlighter;
+import javax.swing.text.JTextComponent;
+
+public class SelectionHighlightPainter implements Highlighter.HighlightPainter {
+	
+	@Override
+	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);
+	}
+}
-- 
cgit v1.2.3