leyoda/pop-launcher
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: total ordering for Priority

Browse source
This commit is contained in:
Ashley Wulber 2024-09-27 21:18:38 -04:00 • committed by Michael Murphy
parent 8cc0d28402
commit 476a8fb445
3 changed files with 42 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

4
service/src/lib.rs
View file

@ -572,8 +572,8 @@ impl<O: futures::Sink<Response> + Unpin> Service<O> {
Priority {
plugin_priority: plg.config.query.priority,
match_score: calculate_weight(sr, query),
recent_use_index: ex.as_ref().map(|s| recent.get_recent(s)).unwrap_or(0),
use_freq: ex.as_ref().map(|s| recent.get_freq(s)).unwrap_or(0),
recent_score: ex.as_ref().map(|s| recent.get_recent(s)).unwrap_or(0.),
freq_score: ex.as_ref().map(|s| recent.get_freq(s)).unwrap_or(0.),
execlen: sr.name.len(),
}
};