diff --git a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/preferences/GrammarPreferencePage.java b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/preferences/GrammarPreferencePage.java index 91b3a53e0..a58839490 100644 --- a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/preferences/GrammarPreferencePage.java +++ b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/preferences/GrammarPreferencePage.java @@ -123,7 +123,7 @@ protected void createColumns() { final var contentTypes = grammarManager.getContentTypesForScope(def.getScope()); yield contentTypes == null ? null - : contentTypes.stream().map(ct -> ct.getName()) + : contentTypes.stream().map(IContentType::getName) .distinct() .sorted() .collect(Collectors.joining(", "));