bors fac6a64656 Auto merge of #12804 - jonas-schievink:config-watcher, r=Veykril
fix: make file watcher config a drop-down (and clarify the options)

Fixes https://github.com/rust-lang/rust-analyzer/issues/12794

Also renames "notify" to "server", since that's clearer ("notify" is still accepted for compatibility).
2022-07-18 16:41:26 +00:00
..
2022-07-08 15:44:49 +02:00
2022-06-10 17:30:02 +02:00
2022-07-03 10:09:35 +03:00
2022-07-17 18:22:11 +03:00
2022-06-10 17:30:02 +02:00
2022-07-08 15:44:49 +02:00
2022-07-03 10:09:35 +03:00
2022-07-08 15:44:49 +02:00
2022-07-08 15:44:49 +02:00
2022-06-15 18:35:48 +02:00
2022-07-08 15:44:49 +02:00
2022-06-25 10:25:56 +08:00
2022-06-10 17:30:02 +02:00
2022-07-03 10:09:35 +03:00
2022-07-03 09:56:58 +03:00