Rewrite search dialog (#233)

* Fix searching

* Make buttons use localization

* Fix rename field opening when pressing shift+space

* Tweak search algorithm

* Add a bit of documentation

* Remove duplicate example line

* Use max() when building the inner map instead of overwriting the old value

* Keep search dialog state

* Formatting

* Fix cursor key selection not scrolling to selected item

* Don't set font size

* Rename close0 to exit

* Fix wrong scrolling when selecting search dialog entry

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index 8296842..8637afd 100644
--- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -126,7 +126,7 @@ public class PanelEditor extends JEditorPane {
                         public void keyTyped(KeyEvent event) {
                                 if (!gui.popupMenu.renameMenu.isEnabled()) return;
 
-                                if (!event.isControlDown() && !event.isAltDown()) {
+                                if (!event.isControlDown() && !event.isAltDown() && Character.isJavaIdentifierPart(event.getKeyChar())) {
                                         EnigmaProject project = gui.getController().project;
                                         EntryReference<Entry<?>, Entry<?>> reference = project.getMapper().deobfuscate(gui.cursorReference);
                                         Entry<?> entry = reference.getNameableEntry();