src/sliding_fb.rs

changeset 84
edb5de5d5bd6
parent 83
66b8ac0ebe00
child 89
8d1c959432c8
--- a/src/sliding_fb.rs	Fri Jul 31 10:41:47 2026 -0500
+++ b/src/sliding_fb.rs	Fri Jul 31 19:09:39 2026 -0500
@@ -1159,7 +1159,7 @@
     }
 
     //postprocess(μ, &config.insertion, f)
-    postprocess(μ, &config.insertion, |μ̃| f.apply(μ̃))
+    postprocess(μ, &config.insertion, |μ̃| f.apply(μ̃) + reg.apply(μ̃))
 }
 
 #[deprecated]

mercurial