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

EDU-748 Exception from tabs

Browse Source
This commit is contained in:
Liana.Bakradze
2016-11-18 15:35:25 +03:00
parent ead57dbe12
commit 69fa7cb94a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/educational-core/student/src/com/jetbrains/edu/learning/StudyTabTitleProvider.java
+2 -1
View File
@@ -12,6 +12,7 @@ import com.jetbrains.edu.learning.courseFormat.TaskFile;
import org.jetbrains.annotations.Nullable;
import java.io.File;
import java.util.regex.Pattern;
public class StudyTabTitleProvider implements EditorTabTitleProvider {
@Nullable
@@ -25,7 +26,7 @@ public class StudyTabTitleProvider implements EditorTabTitleProvider {
if (title == null) {
return null;
}
String[] split = title.split(File.separator);
String[] split = title.split(Pattern.quote(File.separator));
for (int i = 0; i < split.length; i++) {
String part = split[i];
Task task = taskFile.getTask();