mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
Default sketchbook folder for Linux
should be "Arduino".
This commit is contained in:
parent
b5d264443c
commit
6c57bc362b
@ -53,6 +53,12 @@ public class Platform extends processing.app.Platform {
|
||||
}
|
||||
|
||||
|
||||
public File getDefaultSketchbookFolder() throws Exception {
|
||||
File home = new File(System.getProperty("user.home"));
|
||||
return new File(home, "Arduino");
|
||||
}
|
||||
|
||||
|
||||
public void openURL(String url) throws Exception {
|
||||
if (openFolderAvailable()) {
|
||||
String launcher = Preferences.get("launcher");
|
||||
|
Loading…
Reference in New Issue
Block a user