public UserPreferences build() {
            return new UserPreferences(
                    theme,
                    editorTheme,
                    editorKeyBindings,
                    editorLiveAutoCompletion,
                    density,
                    font,
                    fontSize,
                    dateTimePattern,
                    timeZone,
                    enableTransparency,
                    hideConditionalStyles);
        }
Get the default editor theme that corresponds to the passed stroom theme name.
e.g. a dark editor theme for a dark stroom theme.
stroom-core-shared/src/main/java/stroom/ui/config/shared/UserPreferences.java