mirror of
https://github.com/servo/servo.git
synced 2025-07-24 15:50:21 +01:00
remove extra spaces after keywords
This commit is contained in:
parent
c225847a81
commit
677a24a8d6
4 changed files with 4 additions and 4 deletions
|
@ -960,7 +960,7 @@ impl Document {
|
|||
let line = click_pos - last_pos;
|
||||
let dist = (line.dot(line) as f64).sqrt();
|
||||
|
||||
if now.duration_since(last_time) < DBL_CLICK_TIMEOUT &&
|
||||
if now.duration_since(last_time) < DBL_CLICK_TIMEOUT &&
|
||||
dist < DBL_CLICK_DIST_THRESHOLD as f64 {
|
||||
// A double click has occurred if this click is within a certain time and dist. of previous click.
|
||||
let click_count = 2;
|
||||
|
|
|
@ -176,7 +176,7 @@ impl ServiceWorkerManager {
|
|||
}
|
||||
}
|
||||
} else {
|
||||
let _ = mediator.response_chan.send(None);
|
||||
let _ = mediator.response_chan.send(None);
|
||||
}
|
||||
} else {
|
||||
let _ = mediator.response_chan.send(None);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue