diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-08 11:53:20 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-08 11:53:20 +0100 |
commit | 6c9362d61b895c11b1d0cf6837ada9f2a0a30eaf (patch) | |
tree | d9315fd0c5af67800b456b4e124d0d987704c25a /bench_data/numerous_macro_rules | |
parent | 590472607c9629fdd37e3f6f33dacfdc2a3f56cc (diff) | |
parent | b8eeef4dfa7ea9609da24e3e674e919470914d75 (diff) |
Merge #9153
9153: QOL: VSCode status bar icon on click now shows server status r=matklad a=Milo123459
Now, when you click the little status bar text, it will automatically reload the server. I don't think I've ever seen anyone click it randomly, and, it's there to save you a few clicks.
Co-authored-by: Milo <[email protected]>
Diffstat (limited to 'bench_data/numerous_macro_rules')
0 files changed, 0 insertions, 0 deletions