From 4d932327891c07f829b82d0466d0106ba7342e29 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 6 Aug 2015 16:11:30 +0200
Subject: [PATCH] Verify / Compile -> Verify/Compile. Fixes #3514

---
 app/src/processing/app/Editor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index d49660f9e..75d4de1c7 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -722,7 +722,7 @@ public class Editor extends JFrame implements RunnerListener {
   private void buildSketchMenu(JMenu sketchMenu) {
     sketchMenu.removeAll();
 
-    JMenuItem item = newJMenuItem(tr("Verify / Compile"), 'R');
+    JMenuItem item = newJMenuItem(tr("Verify/Compile"), 'R');
     item.addActionListener(new ActionListener() {
         public void actionPerformed(ActionEvent e) {
           handleRun(false, Editor.this.presentHandler, Editor.this.runHandler);