arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-23 19:21:59 +03:00
Code Activity

Allowing editing .S files. Fixes #1616 and #3059

Browse Source
This commit is contained in:
Federico Fissore
2015-05-25 12:53:51 +02:00
parent 2afdb8a6c3
commit 56e0349287
3 changed files with 12 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
app/src/processing/app/Sketch.java
View File

@ -836,7 +836,7 @@ public class Sketch {
destFile = new File(data.getCodeFolder(), filename);
} else {
for (String extension : data.getExtensions()) {
for (String extension : SketchData.EXTENSIONS) {
String lower = filename.toLowerCase();
if (lower.endsWith("." + extension)) {
destFile = new File(data.getFolder(), filename);
@ -1345,7 +1345,7 @@ public class Sketch {
* extensions.
*/
public boolean validExtension(String what) {
return data.getExtensions().contains(what);
return SketchData.EXTENSIONS.contains(what);
}