a9fbfc7955
getResolvedThemeColors and getThemeExportColors now fall back to currentThemeName before getDefaultTheme(), so exports respect the user's selected theme.