Lines Matching refs:file
5 * you may not use this file except in compliance with the License.
39 // first check that the file being opened is a layout file.
44 IFile file = fileInput.getFile();
46 ResourceFolder resFolder = manager.getResourceFolder(file);
50 // as those with the wrong extension or wrong file name
51 if (!file.getName().equals(editorRef.getName()) ||
57 // file being currently edited by the editor since those are independent of the config.
71 return editorFile.getProject().equals(file.getProject())
72 && editorFile.getName().equals(file.getName());