Migrate remaining tool handlers to WorkbenchScopingHandler/ ScopeHandler (!30) · Merge requests · Eclipse Projects / Eclipse StatET™ / statet · GitLab

Stephan Wahlbrink requested to merge dev/#44.1 into main Mar 19, 2023

Relates-to:

Bug: Some menu items are not enabled in first c... (#44 - closed)

Edited Mar 20, 2023 by Stephan Wahlbrink

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent