Merge pull request #399 from ThomasJClark/character

ThomasJClark · ThomasJClark · commit a35a1b8dd30e · 2016-01-21T01:40:44.000-05:00
Fix weird character rendering on Windows
diff --git a/ui/src/main/java/edu/wpi/grip/ui/preview/SocketPreviewView.java b/ui/src/main/java/edu/wpi/grip/ui/preview/SocketPreviewView.java
@@ -31,7 +31,7 @@ private String getTitle() {
         String title = "";
 
         if (this.socket.getStep().isPresent()) {
-            title += this.socket.getStep().get().getOperation().getName() + " → ";
+            title += this.socket.getStep().get().getOperation().getName() + " -> ";
         }
 
         title += this.socket.getSocketHint().getIdentifier();

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ private String getTitle() {`
`31`	`31`	`String title = "";`
`32`	`32`
`33`	`33`	`if (this.socket.getStep().isPresent()) {`
`34`		`- title += this.socket.getStep().get().getOperation().getName() + " → ";`
	`34`	`+ title += this.socket.getStep().get().getOperation().getName() + " -> ";`
`35`	`35`	`}`
`36`	`36`
`37`	`37`	`title += this.socket.getSocketHint().getIdentifier();`