Files
haikuports/dev-embedded/arduino/patches/SettingsFolder-1.6.1.patchset
2022-06-29 23:26:42 +10:00

24 lines
803 B
Plaintext

From cfb5005beb20e4568e479fa3b113315ebf99f186 Mon Sep 17 00:00:00 2001
From: Gerasim Troeglazov <3dEyes@gmail.com>
Date: Thu, 6 Apr 2017 23:53:59 +0000
Subject: Move preferences to haiku settings folder
diff --git a/app/Platform.java b/app/Platform.java
index 3c46c09..4ccb556 100644
--- a/app/Platform.java
+++ b/app/Platform.java
@@ -81,8 +81,8 @@ public class Platform {
public File getSettingsFolder() throws Exception {
// otherwise make a .processing directory int the user's home dir
- File home = new File(System.getProperty("user.home"));
- File dataFolder = new File(home, ".arduino15");
+ File settings = new File(System.getProperty("user.home")+"/config/settings/");
+ File dataFolder = new File(settings, "Arduino16");
return dataFolder;
/*
--
2.36.1