Skip to content

PerspectiveSwitcher.ignoreEvent: fix NPE#2377

Merged
jukzi merged 1 commit intoeclipse-platform:masterfrom
jukzi:PerspectiveSwitcher.ignoreEvent
Oct 9, 2024
Merged

PerspectiveSwitcher.ignoreEvent: fix NPE#2377
jukzi merged 1 commit intoeclipse-platform:masterfrom
jukzi:PerspectiveSwitcher.ignoreEvent

Commits

Commits on Oct 9, 2024