// User has asked that a file be opened.
public void OpenFileOnDemand(String filename) {
Log("<font color='green'>Opening file " + recentFiles[0] + "...</font>\n");
String ext = filename.substring(filename.lastIndexOf('.'));
if (!ext.equalsIgnoreCase(".ngc")) {
LoadImage(filename);
} else {
LoadGCode(filename);
}
statusBar.Clear();
}
