private void requestFile(final PathUtil path) {
delayLoadingMessage(path);
// Fetch the file's contents
GetFileContentsImpl getFileContents = GetFileContentsImpl.make().setPath(path.getPathString());
appContext.getFrontendApi().GET_FILE_CONTENTS.send(getFileContents,
new ApiCallback<GetFileContentsResponse>() {
@Override
public void onMessageReceived(GetFileContentsResponse response) {