From 1845b2dbc3e187b30c442c6e049bb761ee40248f Mon Sep 17 00:00:00 2001
From: Federico Fissore <federico@fissore.org>
Date: Thu, 18 Oct 2012 15:13:14 +0200
Subject: [PATCH] CPUType menu renamed to Processor

---
 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 54c7e61d4..6d11af86d 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -693,7 +693,7 @@ public class Editor extends JFrame implements RunnerListener {
     
     if (boardsMenu == null) {
       boardsMenu = new JMenu(_("Board"));
-      cpuTypeMenu = new JMenu(_("CPUType"));
+      cpuTypeMenu = new JMenu(_("Processor"));
       base.rebuildBoardsMenu(boardsMenu, cpuTypeMenu);
       //Debug: rebuild imports
       importMenu.removeAll();