mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-14 11:29:26 +01:00
Merge pull request #1178 from sgk/linuxFolder
Default sketchbook folder for Linux should be "Arduino".
This commit is contained in:
commit
b9b7dc8b1d
@ -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 {
|
public void openURL(String url) throws Exception {
|
||||||
if (openFolderAvailable()) {
|
if (openFolderAvailable()) {
|
||||||
String launcher = Preferences.get("launcher");
|
String launcher = Preferences.get("launcher");
|
||||||
|
Loading…
x
Reference in New Issue
Block a user