Skip to content
Discussion options

You must be logged in to vote

Hi @wss29,
in the 1.0.0 Version the DiagramMenu is provided by "sprotty-theia" and unfortunatley it is configured in a way that does not allow easy rebinding. What you could do is use Theia's FilterContribution API to filter out the unwanted diagram menu and then simply bind your VDMDiagramMenuContribution:

@injectable()
export class DiagramMenuFilterContribution implements FilterContribution {
    registerContributionFilters(registry: ContributionFilterRegistry): void {
        registry.addFilters([MenuContribution], [contribution => !(contribution instanceof DiagramMenuContribution)]);
    }
}
// in your frontend module
export class VDMTheiaFrontendModule extends GLSPTheiaFrontendModule {

Replies: 2 comments 7 replies

Comment options

You must be logged in to vote
7 replies
@wss29
Comment options

@martin-fleck-at
Comment options

@wss29
Comment options

@tortmayr
Comment options

Answer selected by wss29
@wss29
Comment options

@wss29
Comment options

@wss29
Comment options

Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants