Grab the contents of a file as a string.
(File file)
| 615 | * Grab the contents of a file as a string. |
| 616 | */ |
| 617 | static public String loadFile(File file) throws IOException { |
| 618 | String[] contents = PApplet.loadStrings(file); |
| 619 | if (contents == null) return null; |
| 620 | return PApplet.join(contents, "\n"); |
| 621 | } |
| 622 | |
| 623 | public static void checkInstallationFolder() { |
| 624 | if (isIDEInstalledIntoSettingsFolder()) { |
no test coverage detected