Fixes #671 - Move some platform-ui undo utility classes into a core location#672

Merged

mickaelistria merged 2 commits intoeclipse-platform:masterfrom robstryker:issue671

Sep 19, 2023

+1,486-1

Commits on Sep 18, 2023

Fixes eclipse-platform#671 - Move some platform-ui undo utility classes into a core location
Rob Stryker
committed

Commits on Sep 19, 2023

Add noimplement and noextend annotations
Rob Stryker
committed