python/edu/learn-python/src/com/jetbrains/python/edu/editor/StudyFileEditorProvider.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

package com.jetbrains.python.edu.editor;

import com.intellij.openapi.fileEditor.FileEditor;
import com.intellij.openapi.fileEditor.FileEditorPolicy;
import com.intellij.openapi.fileEditor.FileEditorProvider;
import com.intellij.openapi.fileEditor.FileEditorState;
import com.intellij.openapi.fileEditor.impl.text.TextEditorProvider;
import com.intellij.openapi.project.DumbAware;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.vfs.VirtualFile;
import org.jdom.Element;
import org.jetbrains.annotations.NotNull;
import com.jetbrains.python.edu.StudyTaskManager;
import com.jetbrains.python.edu.course.TaskFile;

/**
 * User: lia
 * Date: 10.05.14
 * Time: 12:45
 */
class StudyFileEditorProvider implements FileEditorProvider, DumbAware {
  static final private String EDITOR_TYPE_ID = "StudyEditor";
  final private FileEditorProvider defaultTextEditorProvider = TextEditorProvider.getInstance();

  @Override
  public boolean accept(@NotNull Project project, @NotNull VirtualFile file) {
    TaskFile taskFile = StudyTaskManager.getInstance(project).getTaskFile(file);
    return taskFile != null && !taskFile.isUserCreated();
  }

  @NotNull
  @Override
  public FileEditor createEditor(@NotNull Project project, @NotNull VirtualFile file) {
    return new StudyEditor(project, file);
  }

  @Override
  public void disposeEditor(@NotNull FileEditor editor) {
    defaultTextEditorProvider.disposeEditor(editor);
  }

  @NotNull
  @Override
  public FileEditorState readState(@NotNull Element sourceElement, @NotNull Project project, @NotNull VirtualFile file) {
    return defaultTextEditorProvider.readState(sourceElement, project, file);
  }

  @Override
  public void writeState(@NotNull FileEditorState state, @NotNull Project project, @NotNull Element targetElement) {
    defaultTextEditorProvider.writeState(state, project, targetElement);
  }

  @NotNull
  @Override
  public String getEditorTypeId() {
    return EDITOR_TYPE_ID;
  }

  @NotNull
  @Override
  public FileEditorPolicy getPolicy() {
    return FileEditorPolicy.HIDE_DEFAULT_EDITOR;
  }
}