From 4be005617b3b8c3578cca07c5d085d12916f0d1d Mon Sep 17 00:00:00 2001
From: lclc98
Date: Thu, 30 Jun 2016 00:49:21 +1000
Subject: Json format (#2)

* Added new format

* Fixed bug

* Updated Version
---
 .../enigma/gui/SelectionHighlightPainter.java      | 29 ++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 src/main/java/cuchaz/enigma/gui/SelectionHighlightPainter.java

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

diff --git a/src/main/java/cuchaz/enigma/gui/SelectionHighlightPainter.java b/src/main/java/cuchaz/enigma/gui/SelectionHighlightPainter.java
new file mode 100644
index 0000000..fcad07c
--- /dev/null
+++ b/src/main/java/cuchaz/enigma/gui/SelectionHighlightPainter.java
@@ -0,0 +1,29 @@
+/*******************************************************************************
+ * Copyright (c) 2015 Jeff Martin.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the GNU Lesser General Public
+ * License v3.0 which accompanies this distribution, and is available at
+ * http://www.gnu.org/licenses/lgpl.html
+ * <p>
+ * Contributors:
+ * Jeff Martin - initial API and implementation
+ ******************************************************************************/
+package cuchaz.enigma.gui;
+
+import java.awt.*;
+
+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