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

IDEA-295396 Fix Nullable annotation

Browse Source 
GitOrigin-RevId: bbd590368d7c881aa91b5842ac79019b0f2c072e
This commit is contained in:
Aydar Mukhametzyanov
2022-07-20 08:56:18 +00:00
committed by intellij-monorepo-bot
parent 78f7474549
commit e4cc656fe9
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
+2 -3
View File
@@ -61,7 +61,6 @@ import org.jetbrains.annotations.Nullable;
import javax.swing.*;
import javax.swing.border.LineBorder;
import javax.swing.event.PopupMenuEvent;
import javax.swing.plaf.PanelUI;
import javax.swing.tree.TreeNode;
import java.awt.*;
@@ -103,9 +102,9 @@ public class NavBarPanel extends JPanel implements DataProvider, PopupOwner, Dis
private static class SelectionIndexes {
private final int myBarIndex;
private final @Nullable int[] myNodePopupIndexes;
private final int @Nullable [] myNodePopupIndexes;
SelectionIndexes(int barIndex, int[] nodePopupIndexes) {
SelectionIndexes(int barIndex, int @Nullable [] nodePopupIndexes) {
myBarIndex = barIndex;
myNodePopupIndexes = nodePopupIndexes;
}