diff options
| author | 2014-08-04 00:26:48 -0400 | |
|---|---|---|
| committer | 2014-08-04 00:26:48 -0400 | |
| commit | 57f45b0409d5363782052183bb090175c469f89a (patch) | |
| tree | 672b32876b420445630e58e16b67d671e45c07b6 /src/cuchaz/enigma/gui/BrowserCaret.java | |
| parent | fixed bugs with saving mappings (diff) | |
| download | enigma-fork-57f45b0409d5363782052183bb090175c469f89a.tar.gz enigma-fork-57f45b0409d5363782052183bb090175c469f89a.tar.xz enigma-fork-57f45b0409d5363782052183bb090175c469f89a.zip | |
added stable save order for mappings to hopefully help with merging
added color-coding for source identifiers
redesigned rename GUI
customized editor pane, added popup menu
finished name validation
added last-chance save on window close
Diffstat (limited to 'src/cuchaz/enigma/gui/BrowserCaret.java')
| -rw-r--r-- | src/cuchaz/enigma/gui/BrowserCaret.java | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/src/cuchaz/enigma/gui/BrowserCaret.java b/src/cuchaz/enigma/gui/BrowserCaret.java new file mode 100644 index 0000000..f7e608b --- /dev/null +++ b/src/cuchaz/enigma/gui/BrowserCaret.java | |||
| @@ -0,0 +1,50 @@ | |||
| 1 | /******************************************************************************* | ||
| 2 | * Copyright (c) 2014 Jeff Martin. | ||
| 3 | * All rights reserved. This program and the accompanying materials | ||
| 4 | * are made available under the terms of the GNU Public License v3.0 | ||
| 5 | * which accompanies this distribution, and is available at | ||
| 6 | * http://www.gnu.org/licenses/gpl.html | ||
| 7 | * | ||
| 8 | * Contributors: | ||
| 9 | * Jeff Martin - initial API and implementation | ||
| 10 | ******************************************************************************/ | ||
| 11 | package cuchaz.enigma.gui; | ||
| 12 | |||
| 13 | import java.awt.Graphics; | ||
| 14 | import java.awt.Shape; | ||
| 15 | |||
| 16 | import javax.swing.text.DefaultCaret; | ||
| 17 | import javax.swing.text.Highlighter; | ||
| 18 | import javax.swing.text.JTextComponent; | ||
| 19 | |||
| 20 | public class BrowserCaret extends DefaultCaret | ||
| 21 | { | ||
| 22 | private static final long serialVersionUID = 1158977422507969940L; | ||
| 23 | |||
| 24 | private static final Highlighter.HighlightPainter m_selectionPainter = new Highlighter.HighlightPainter( ) | ||
| 25 | { | ||
| 26 | @Override | ||
| 27 | public void paint( Graphics g, int p0, int p1, Shape bounds, JTextComponent c ) | ||
| 28 | { | ||
| 29 | // don't paint anything | ||
| 30 | } | ||
| 31 | }; | ||
| 32 | |||
| 33 | @Override | ||
| 34 | public boolean isSelectionVisible( ) | ||
| 35 | { | ||
| 36 | return false; | ||
| 37 | } | ||
| 38 | |||
| 39 | @Override | ||
| 40 | public boolean isVisible( ) | ||
| 41 | { | ||
| 42 | return true; | ||
| 43 | } | ||
| 44 | |||
| 45 | @Override | ||
| 46 | public Highlighter.HighlightPainter getSelectionPainter( ) | ||
| 47 | { | ||
| 48 | return m_selectionPainter; | ||
| 49 | } | ||
| 50 | } | ||