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

@NotNull

Browse Source
This commit is contained in:
Dmitry Jemerov
2011-12-30 16:10:52 +01:00
parent dbb91044f9
commit d9858acdf2
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/StripeButton.java
+3 -1
View File
@@ -28,6 +28,7 @@ import com.intellij.openapi.wm.ex.ToolWindowEx;
import com.intellij.ui.MouseDragHelper;
import com.intellij.ui.PopupHandler;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import javax.swing.*;
@@ -63,7 +64,7 @@ public final class StripeButton extends AnchoredButton implements ActionListener
private Point myPressedPoint;
private Stripe myLastStripe;
StripeButton(final InternalDecorator decorator, ToolWindowsPane pane) {
StripeButton(@NotNull final InternalDecorator decorator, ToolWindowsPane pane) {
myDecorator = decorator;
myToolWindowHandler = new MyPropertyChangeListener();
myPane = pane;
@@ -165,6 +166,7 @@ public final class StripeButton extends AnchoredButton implements ActionListener
return c == this;
}
@NotNull
public InternalDecorator getDecorator() {
return myDecorator;
}