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
At the moment, the tree editor extension's Tree Editor -> New Example File menu entry does not work when there is no workspace open in Theia.
In this case, the menu Tree Editor is empty and an error root ERROR Child node 'open-editors:root' does not belong to this 'open-editors:root' tree. is logged. This is confusing for users.
Instead, the menu entry should be visible but disabled and ideally have a tooltip describing that a workspace needs to be open to use it.
The text was updated successfully, but these errors were encountered:
At the moment, the tree editor extension's
Tree Editor -> New Example File
menu entry does not work when there is no workspace open in Theia.In this case, the menu
Tree Editor
is empty and an errorroot ERROR Child node 'open-editors:root' does not belong to this 'open-editors:root' tree.
is logged. This is confusing for users.Instead, the menu entry should be visible but disabled and ideally have a tooltip describing that a workspace needs to be open to use it.
The text was updated successfully, but these errors were encountered: