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

@NotNull

Browse Source
This commit is contained in:
Kirill Likhodedov
2011-09-17 17:54:53 +04:00
parent edae81da71
commit ff3f2f3048
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
images/src/org/intellij/images/editor/impl/ImageEditorImpl.java
+4 -1
View File
@@ -26,6 +26,7 @@ import org.intellij.images.options.*;
import org.intellij.images.thumbnail.actionSystem.ThumbnailViewActions;
import org.intellij.images.ui.ImageComponent;
import org.intellij.images.vfs.IfsUtil;
import org.jetbrains.annotations.NotNull;
import javax.swing.*;
import java.awt.*;
@@ -45,7 +46,7 @@ final class ImageEditorImpl extends VirtualFileAdapter implements ImageEditor {
private final ImageEditorUI editorUI;
private boolean disposed;
ImageEditorImpl(Project project, VirtualFile file) {
ImageEditorImpl(@NotNull Project project, @NotNull VirtualFile file) {
this.project = project;
this.file = file;
@@ -104,10 +105,12 @@ final class ImageEditorImpl extends VirtualFileAdapter implements ImageEditor {
return editorUI.getImageComponent();
}
@NotNull
public VirtualFile getFile() {
return file;
}
@NotNull
public Project getProject() {
return project;
}
images/src/org/intellij/images/editor/impl/ImageFileEditorImpl.java
+2 -1
View File
@@ -45,7 +45,7 @@ final class ImageFileEditorImpl extends UserDataHolderBase implements ImageFileE
private static final String NAME = "ImageFileEditor";
private final ImageEditor imageEditor;
ImageFileEditorImpl(Project project, VirtualFile file) {
ImageFileEditorImpl(@NotNull Project project, @NotNull VirtualFile file) {
imageEditor = ImageEditorManagerImpl.createImageEditor(project, file);
// Append file listener
@@ -130,6 +130,7 @@ final class ImageFileEditorImpl extends UserDataHolderBase implements ImageFileE
ImageEditorManagerImpl.releaseImageEditor(imageEditor);
}
@NotNull
public ImageEditor getImageEditor() {
return imageEditor;
}