Gregory.Shrago eb60ccd9cf make element-to-be-selected notnull ...

Clearing selection using null makes little sense for an ide-view client. No annotation would keep clients and implementors in a gray zone. Most clients already do check for null before calling `selectElement`.

GitOrigin-RevId: 139099211ca7fb1993b5624b26f0647c91940c18

2024-01-06 15:06:30 +00:00

..

resources/messages

…

src

make element-to-be-selected notnull

2024-01-06 15:06:30 +00:00

test/com/intellij/ide/commander

…

intellij.commander.iml

…