noisymime
/
Arduino
mirror of https://github.com/noisymime/Arduino.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Removed some warning from Editor class

This commit is contained in:
Cristian Maglie 2014-01-26 22:03:01 +01:00
parent dd911bc79d
commit 026dd50d87
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
app/src/processing/app/Editor.java
View File

@ -339,10 +339,9 @@ public class Editor extends JFrame implements RunnerListener {
new DataFlavor("text/uri-list;class=java.lang.String"); new DataFlavor("text/uri-list;class=java.lang.String");
if (transferable.isDataFlavorSupported(DataFlavor.javaFileListFlavor)) { if (transferable.isDataFlavorSupported(DataFlavor.javaFileListFlavor)) {
java.util.List list = (java.util.List) List<File> list = (List<File>)
transferable.getTransferData(DataFlavor.javaFileListFlavor); transferable.getTransferData(DataFlavor.javaFileListFlavor);
for (int i = 0; i < list.size(); i++) { for (File file : list) {
File file = (File) list.get(i);
if (sketch.addFile(file)) { if (sketch.addFile(file)) {
successful++; successful++;
} }
@ -853,8 +852,9 @@ public class Editor extends JFrame implements RunnerListener {
// Class file to search for // Class file to search for
String classFileName = "/" + base + ".class"; String classFileName = "/" + base + ".class";
ZipFile zipFile = null;
try { try {
ZipFile zipFile = new ZipFile(file); zipFile = new ZipFile(file);
Enumeration<?> entries = zipFile.entries(); Enumeration<?> entries = zipFile.entries();
while (entries.hasMoreElements()) { while (entries.hasMoreElements()) {
ZipEntry entry = (ZipEntry) entries.nextElement(); ZipEntry entry = (ZipEntry) entries.nextElement();
@ -874,6 +874,12 @@ public class Editor extends JFrame implements RunnerListener {
} catch (IOException e) { } catch (IOException e) {
//System.err.println("Ignoring " + filename + " (" + e.getMessage() + ")"); //System.err.println("Ignoring " + filename + " (" + e.getMessage() + ")");
e.printStackTrace(); e.printStackTrace();
} finally {
if (zipFile != null)
try {
zipFile.close();
} catch (IOException e) {
}
} }
return null; return null;
} }
@ -1861,9 +1867,8 @@ public class Editor extends JFrame implements RunnerListener {
} catch (BadLocationException bl) { } catch (BadLocationException bl) {
bl.printStackTrace(); bl.printStackTrace();
} finally {
return text;
} }
return text;
} }
protected void handleFindReference() { protected void handleFindReference() {