]> git.lizzy.rs Git - rust.git/commit
Auto merge of #12529 - Veykril:vs-reload, r=Veykril
authorbors <bors@rust-lang.org>
Tue, 14 Jun 2022 11:43:31 +0000 (11:43 +0000)
committerbors <bors@rust-lang.org>
Tue, 14 Jun 2022 11:43:31 +0000 (11:43 +0000)
commit65874dfff205335840cc9265ba06d74f234b719d
tree80af695b20494ff90a4a2e73dca1197c6e879d60
parent1ad6d324b2f2c922f377d5ea6c9747012ca636ea
parent002447d6cbdb19b80c998792486b655f0bd53365
Auto merge of #12529 - Veykril:vs-reload, r=Veykril

fix: Ask the user to reload the vscode window when changing server settings

These requires a window reload, as they are set before the server is being started