mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[platform] restores binary compatibility
This commit is contained in:
+6
-2
@@ -23,16 +23,20 @@ import com.intellij.openapi.project.Project;
|
||||
import com.intellij.psi.PsiFile;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
interface HighlightingSession {
|
||||
public interface HighlightingSession {
|
||||
@NotNull
|
||||
Project getProject();
|
||||
|
||||
@NotNull
|
||||
PsiFile getPsiFile();
|
||||
|
||||
Editor getEditor();
|
||||
|
||||
@NotNull
|
||||
Document getDocument();
|
||||
|
||||
@NotNull
|
||||
ProgressIndicator getProgressIndicator();
|
||||
|
||||
EditorColorsScheme getColorsScheme();
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user