mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-30 21:41:46 +01:00
* Don't close extensions on navigating to different activity view. Add a config option to restore previous behaviour. * Naming * Naming #2 * Update wording.