Skip to content
Discussion options

You must be logged in to vote

On a first glance, your code looks reasonable, however there are a few things to consider:

UI Extension Enablement

UI extensions aren't enabled by default. They need to be enabled by sending a SetUIExtensionVisibilityAction with your UI extension ID

this.actionDispatcher.dispatch(
  SetUIExtensionVisibilityAction.create({ extensionId: ButtonOverlay.ID, visible: true })
);

If you want to enable UI extensions on open in the context of a Theia editor, you typically do that in your custom subclass of the GLSPDiagramManager by overriding and extending the doOpen method. Please see the default implementation of doOpen to see how it e.g. dispatches the actions it computes for the navigations.
Th…

Replies: 2 comments

Comment options

You must be logged in to vote
0 replies
Answer selected by Adem-Kri
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
2 participants