mirror of
https://github.com/notohh/rustlings.git
synced 2024-11-22 05:52:23 -05:00
Moar responsive :P
This commit is contained in:
parent
c1d28b502e
commit
c7c8d99680
1 changed files with 1 additions and 1 deletions
|
@ -51,7 +51,7 @@ pub fn watch(
|
||||||
// Otherwise, the file watcher exits.
|
// Otherwise, the file watcher exits.
|
||||||
let _debouncer_guard = if let Some(exercise_names) = notify_exercise_names {
|
let _debouncer_guard = if let Some(exercise_names) = notify_exercise_names {
|
||||||
let mut debouncer = new_debouncer(
|
let mut debouncer = new_debouncer(
|
||||||
Duration::from_millis(500),
|
Duration::from_millis(200),
|
||||||
DebounceEventHandler {
|
DebounceEventHandler {
|
||||||
tx: tx.clone(),
|
tx: tx.clone(),
|
||||||
exercise_names,
|
exercise_names,
|
||||||
|
|
Loading…
Reference in a new issue