414415416417418419420421422423424
BufferIORequest request = new BufferIORequest( BufferIORequest.LOAD,view,buffer,session,this,path); if(buffer.isTemporary()) // this makes HyperSearch much faster request.run(); else VFSManager.runInWorkThread(request); return true; } //}}}