Matt Mastracci
Matt Mastracci
@mitsuhiko Excellent! If you'd like, I'm happy to pull this code into the repo. We can add you as a contributor as well.
Could you confirm which version you are using (ie: paste your Cargo.toml here)?
Interesting. I wonder if this is an unused symbol getting pruned. Thanks for the repro - I'll poke around.
I confirmed this is definitely an issue. Looks like there's some sort of whole-module pruning going on.
Nothing yet. I was able to repro it with your steps, but I feel like this might be an LLVM/rustc bug.
Would someone have some bandwidth to file an upstream bug? This definitely seems like a Rust core issue - `#[used]` items should _not_ be pruned.
This may be fixed now, however I'll need someone with the issue to attempt to repro.
I've got a slightly improved `userChrome.css` that hides the top tabs and the black bar (merging the window controls in) and hides the sidebar header _only_ if the tabs are...
I've been seeing the same thing. It _seems_ to happen when the computer is under heavy load. Using 1.8.2. What tends to happen is a temporary switch from natural scroll...
I finally caught it in action. Note that I'm not using a mouse at all -- just the trackpad!