You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A sequence of multiple right clicks sometimes leads to duplicate entries in the context menu. I assume this is because we do not check whether we've already registered the context menu items in the Theia context menu service and do this multiple times, if the right-clicks happen fast after each other.
The text was updated successfully, but these errors were encountered:
A sequence of multiple right clicks sometimes leads to duplicate entries in the context menu. I assume this is because we do not check whether we've already registered the context menu items in the Theia context menu service and do this multiple times, if the right-clicks happen fast after each other.
The text was updated successfully, but these errors were encountered: