mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EDU-536 Open task file with placeholders when new task opened
This commit is contained in:
+4
-2
@@ -92,8 +92,10 @@ abstract public class StudyTaskNavigationAction extends StudyActionWithShortcut
|
||||
VirtualFile srcDir = taskDir.findChild(EduNames.SRC);
|
||||
VirtualFile vf = srcDir == null ? taskDir.findChild(name) : srcDir.findChild(name);
|
||||
if (vf != null) {
|
||||
FileEditorManager.getInstance(project).openFile(vf, true);
|
||||
if (!taskFile.getAnswerPlaceholders().isEmpty()) {
|
||||
if (shouldBeActive != null) {
|
||||
FileEditorManager.getInstance(project).openFile(vf, true);
|
||||
}
|
||||
if (shouldBeActive == null && !taskFile.getAnswerPlaceholders().isEmpty()) {
|
||||
shouldBeActive = vf;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user