Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Hmm, are you sure? Because I remember implementing that. Maybe it got disabled for some reason.


https://bugzilla.mozilla.org/show_bug.cgi?id=1247095 for why it's currently disabled, and you can toggle "ui.mouse.radius.enabled" in about:config and see whether the issues that led to this being turned off are actually relevant for your personal usage or not.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: