Purge non-ASCII characters

ctrueden · ctrueden · commit 72fd42115313 · 2017-12-20T11:51:08.000-06:00
diff --git a/src/main/java/org/scijava/search/module/ModuleSearchResult.java b/src/main/java/org/scijava/search/module/ModuleSearchResult.java
@@ -82,7 +82,7 @@ public String name() {
 	
 	@Override
 	public String identifier() {
-		String menuPath = info.getMenuPath().getMenuString().replace(">", "›");
+		String menuPath = info.getMenuPath().getMenuString().replace(">", "\u203a");
 		return menuPath.isEmpty() ? info.getTitle() : menuPath;
 	}
 
diff --git a/src/main/java/org/scijava/ui/swing/search/SwingSearchBar.java b/src/main/java/org/scijava/ui/swing/search/SwingSearchBar.java
@@ -177,7 +177,7 @@ public void focusLost(final FocusEvent e) {
 
 		});
 		
-		exitButton = new JButton("🞩");
+		exitButton = new JButton("\u2612");
 		exitButton.setBackground(new Color(255,255,255));
 		exitButton.setBorder(BorderFactory.createLineBorder(new Color(255,255,255),5));
 		exitButton.addActionListener(ae -> {

Original file line number	Diff line number	Diff line change
`@@ -82,7 +82,7 @@ public String name() {`
`82`	`82`
`83`	`83`	`@Override`
`84`	`84`	`public String identifier() {`
`85`		`- String menuPath = info.getMenuPath().getMenuString().replace(">", "›");`
	`85`	`+ String menuPath = info.getMenuPath().getMenuString().replace(">", "\u203a");`
`86`	`86`	`return menuPath.isEmpty() ? info.getTitle() : menuPath;`
`87`	`87`	`}`
`88`	`88`