Closed egekorkan closed 8 months ago
Coming from https://github.com/eclipse-thingweb/playground/discussions/492#discussioncomment-7596827
When selecting a different main tab, the tool tab at the bottom becomes unselected. Because everything is grayed out now, it looks like the stuff is disabled.
This is indeed a bug, at least the validation should be selected
This is done by #537, closing
Coming from https://github.com/eclipse-thingweb/playground/discussions/492#discussioncomment-7596827
This is indeed a bug, at least the validation should be selected