Summary
- Fix: NPE in themeContribution (details)
The file was modified | org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/menus/ThemeContribution.java (diff) |
The file was modified | org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/menus/ThemeContribution.java (diff) |