MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup

Browse Source
This commit is contained in:
Sergey Ignatov
2016-09-22 17:20:45 -07:00
parent 9f48c55409
commit abee2c021f
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/openapi/fileEditor/impl/UniqueNameEditorTabTitleProvider.java
+4 -5
View File
@@ -31,14 +31,13 @@ import java.io.File;
public class UniqueNameEditorTabTitleProvider implements EditorTabTitleProvider {
@Override
public String getEditorTabTitle(Project project, VirtualFile file) {
if (!UISettings.getInstance().SHOW_DIRECTORY_FOR_NON_UNIQUE_FILENAMES || DumbService.isDumb(project)) {
return null;
}
UISettings uiSettings = UISettings.getInstance();
if (uiSettings == null || !uiSettings.SHOW_DIRECTORY_FOR_NON_UNIQUE_FILENAMES || DumbService.isDumb(project)) return null;
// Even though this is a 'tab title provider' it is used also when tabs are not shown, namely for building IDE frame title.
String uniqueName = UISettings.getInstance().EDITOR_TAB_PLACEMENT == UISettings.TABS_NONE ?
String uniqueName = uiSettings.EDITOR_TAB_PLACEMENT == UISettings.TABS_NONE ?
UniqueVFilePathBuilder.getInstance().getUniqueVirtualFilePath(project, file) :
UniqueVFilePathBuilder.getInstance().getUniqueVirtualFilePathWithinOpenedFileEditors(project, file);
uniqueName = getEditorTabText(uniqueName, File.separator, UISettings.getInstance().HIDE_KNOWN_EXTENSION_IN_TABS);
uniqueName = getEditorTabText(uniqueName, File.separator, uiSettings.HIDE_KNOWN_EXTENSION_IN_TABS);
return uniqueName.equals(file.getName()) ? null : uniqueName;
}