PanelHandle snapshots DockPanel::title at registration and the tab strip
renders that cache, so switching the UI language at runtime (the menu's
language items or the preferences combo) left every docked tab in the
previous language: the English UI with Chinese tabs from the report.
Add dock panel title/content refresh to gpui (oak-gpui 45871acf1a):
DockArea::refresh_panel_titles re-reads every held title through a
type-erased provider captured from the concrete panel entity, marks each
panel view dirty so its localized content re-renders, and repaints the
chrome. Call it from both shell language-switch paths; the preferences
dialog repaints itself too.
The app test pins the refresh end to end: after LanguageChanged the
project tab's cached title follows the new language.
Mike-Solar
eddfeb59b4