Editor editor;

public String getMenuTitle() {

return _("Fix Encoding & Reload");

}

public void init(Editor editor) {

this.editor = editor;

}

public void run() {

Sketch sketch = editor.getSketch();

//SketchCode code = sketch.current;

if (sketch.isModified()) {

int result =

JOptionPane.showConfirmDialog(editor,

_("Discard all changes and reload sketch?"),

_("Fix Encoding & Reload"),

JOptionPane.YES_NO_OPTION,

JOptionPane.QUESTION_MESSAGE);

if (result == JOptionPane.NO_OPTION) {

return;

}

}

try {

for (int i = 0; i < sketch.getCodeCount(); i++) {

SketchCode code = sketch.getCode(i);

code.setProgram(loadWithLocalEncoding(code.getFile()));

code.setModified(true); // yes, because we want them to save this

}

// Update the currently visible program with its code

editor.setText(sketch.getCurrentCode().getProgram());

} catch (IOException e) {

String msg =

_("An error occurred while trying to fix the file encoding.\nDo not attempt to save this sketch as it may overwrite\nthe old version. Use Open to re-open the sketch and try again.\n") +

e.getMessage();

Base.showWarning(_("Fix Encoding & Reload"), msg, e);

}

}

protected String loadWithLocalEncoding(File file) throws IOException {

// FileReader uses the default encoding, which is what we want.

FileReader fr = new FileReader(file);

BufferedReader reader = new BufferedReader(fr);

StringBuffer buffer = new StringBuffer();

String line = null;

while ((line = reader.readLine()) != null) {

buffer.append(line);

buffer.append('\n');

}

reader.close();

return buffer.toString();

}