Make WAIT_TO_BUILD configurable

[nrc]

This is the time between receiving a change notification and starting building. For users with low-end hardware they might want to make this longer (see editor-rs/vscode-rust#272).

We should add a config option and use that in build.rs rather than the constant WAIT_TO_BUILD.

[robbym]

Hi, I'm new to RLS. I'd like to help contribute.

This would be configured via rls.toml? Or command line option?

I'll continue to read through the code to try and understand how this would be implemented though.

[robbym]

Something like this? robbym@3294017

[robbym]

Interesting though. I set the time to 5000ms in the rls.toml.

I tapped the space bar, "Analysis started", 5 seconds later, "Analysis finished". No problem.

But, if I keep tapping within the 5 second interval, like every second for example, it still goes to "Analysis finished" 5 seconds after the initial tap.

I imagined the WAIT_TO_BUILD thing worked like this: You tap a button, the timer starts, and every time you tap a button the timer resets, and when that timer reaches 0, run the build.

This doesn't seem to be the case.

EDIT: Just noticed that this is related to #339

[nrc]

@robbym That looks great, could you submit a PR (I have a couple of minor points, but easier to put them in a review than here). Yep, #339 covers the reasoning for the current behaviour. I should document that in-tree.

[nrc]

Oh, and thanks for jumping on this!

[robbym]

Np. PR is up.

[nrc]

Fixed by #391