message: Correctly update the UI after changing the terminal theme
diff: @@ -588,10 +588,15 @@ async function asyncSetupConfiguration(): Promise<void> {
  }
  if (oldGeneralConfig.themeGUI !== newGeneralConfig.themeGUI ||
  - oldGeneralConfig.terminalMarginStyle !== newGeneralConfig.terminalMarginStyle) {
  + oldGeneralConfig.terminalMarginStyle !== newGeneralConfig.terminalMarginStyle ||
  + oldGeneralConfig.themeTerminal !== newGeneralConfig.themeTerminal) {
  refreshThemeTypeList.push("gui");
  }
  + if (oldGeneralConfig.themeTerminal !== newGeneralConfig.themeTerminal) {
  + refreshThemeTypeList.push("terminal");
  + }
  +
  if (refreshThemeTypeList.length !== 0) {
  await asyncRequestThemeContents(refreshThemeTypeList);
  }
  