mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-27 21:54:30 +01:00
Merge pull request #2700 from gerito1/fix-issue-2604
Fix: Use the correct reference.
This commit is contained in:
commit
26028afc32
@ -2212,7 +2212,7 @@ public class Editor extends JFrame implements RunnerListener {
|
||||
// copy the sketch inside
|
||||
File properPdeFile = new File(properFolder, sketchFile.getName());
|
||||
try {
|
||||
Base.copyFile(file, properPdeFile);
|
||||
Base.copyFile(sketchFile, properPdeFile);
|
||||
} catch (IOException e) {
|
||||
Base.showWarning(_("Error"), _("Could not copy to a proper location."), e);
|
||||
return false;
|
||||
|
Loading…
x
Reference in New Issue
Block a user