Skip to content

GLSP-1586: Adjust to new MenuItem API#265

Merged
tortmayr merged 2 commits into
masterfrom
glsp-1568
Oct 20, 2025
Merged

GLSP-1586: Adjust to new MenuItem API#265
tortmayr merged 2 commits into
masterfrom
glsp-1568

Conversation

@tortmayr

@tortmayr tortmayr commented Oct 7, 2025

Copy link
Copy Markdown
Contributor

What it does

Counterpart to eclipse-glsp/glsp-server-node#116
Part of eclipse-glsp/glsp#1586

How to test

Follow-ups

Changelog

  • This PR should be mentioned in the changelog
  • This PR introduces a breaking change (if yes, provide more details below for the changelog and the migration guide)

@martin-fleck-at martin-fleck-at left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@tortmayr tortmayr merged commit ccfa988 into master Oct 20, 2025
4 checks passed
@tortmayr tortmayr deleted the glsp-1568 branch October 20, 2025 15:34
@github-actions github-actions Bot mentioned this pull request Feb 11, 2026
tortmayr added a commit that referenced this pull request Feb 17, 2026
* GLSP-1586: Adjust to new MenuItem API

Counterpart to eclipse-glsp/glsp-server-node#116
Part of eclipse-glsp/glsp#1586

* Address review feedback
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants