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
Hi,
In latest Theia there is a regression in the preference/setting view when the Redhat Java plugin is installed, all the Java settings were shown under one main category under Extenions--> Java, but now all the java sub-categories are rendered under the Extenions parent, making it difficult to know that those categories belong to the Java extension.
Bug Description:
Hi,
In latest Theia there is a regression in the preference/setting view when the Redhat Java plugin is installed, all the Java settings were shown under one main category under Extenions--> Java, but now all the java sub-categories are rendered under the Extenions parent, making it difficult to know that those categories belong to the Java extension.
Maybe this was caused after this PR: #13819
Steps to Reproduce:
Additional Information
The text was updated successfully, but these errors were encountered: