193194195196197198199200
return; } if (fileReader != null) { fileReader.cancel(true); } fileReader = new FileContentDisplayer(file, fileContentArea); fileReader.execute(); }