mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-06 01:08:25 +01:00
Verify / Compile -> Verify/Compile. Fixes #3514
This commit is contained in:
parent
70fbb8b08e
commit
4d93232789
@ -722,7 +722,7 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
private void buildSketchMenu(JMenu sketchMenu) {
|
private void buildSketchMenu(JMenu sketchMenu) {
|
||||||
sketchMenu.removeAll();
|
sketchMenu.removeAll();
|
||||||
|
|
||||||
JMenuItem item = newJMenuItem(tr("Verify / Compile"), 'R');
|
JMenuItem item = newJMenuItem(tr("Verify/Compile"), 'R');
|
||||||
item.addActionListener(new ActionListener() {
|
item.addActionListener(new ActionListener() {
|
||||||
public void actionPerformed(ActionEvent e) {
|
public void actionPerformed(ActionEvent e) {
|
||||||
handleRun(false, Editor.this.presentHandler, Editor.this.runHandler);
|
handleRun(false, Editor.this.presentHandler, Editor.this.runHandler);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user