From c018200027140e4dbcd0076dd9750f3a8ba34c41 Mon Sep 17 00:00:00 2001 From: Alessandro Gatti Date: Fri, 17 Jul 2020 10:26:43 +0200 Subject: [PATCH] Allow exclamation marks as filter delimiters. --- .../src/main/java/docking/widgets/filter/FilterOptions.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptions.java b/Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptions.java index d8b02765f1..ac2bf6a943 100644 --- a/Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptions.java +++ b/Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptions.java @@ -41,7 +41,7 @@ public class FilterOptions { DELIMITER_NAME_MAP.put(' ', "Space"); DELIMITER_NAME_MAP.put('~', "Tilde"); DELIMITER_NAME_MAP.put('`', "Back quote"); - DELIMITER_NAME_MAP.put('@', "Exclamation point"); + DELIMITER_NAME_MAP.put('!', "Exclamation point"); DELIMITER_NAME_MAP.put('@', "At sign"); DELIMITER_NAME_MAP.put('#', "Pound sign"); DELIMITER_NAME_MAP.put('$', "Dollar sign");