How to use Dev Tools 📅 Nov 4, 2023 · ☕ 18 min read · ✍️ River #css · #firefox · #tutorial Learn how to edit CSS interactively
Mouse Gestures (the useful ones) 📅 Oct 12, 2021 · ☕ 6 min read · ✍️ River #firefox A spiritual follow-up to my "MediaWiki hotkeys (the useful ones)" post, this time I go over my Firefox Gesturefy bindings and what I use them for when working with MediaWiki.
Bookmarklet - stay here 📅 Jun 8, 2021 · ☕ 3 min read · ✍️ River #firefox · #javascript A bookmarklet that enables a prompt before navigating away from your current location
Gadget - Improving Special:ListGroupRights CSS 📅 Feb 9, 2021 · ☕ 3 min read · ✍️ River #gadget_tools · #css · #firefox A couple lines of CSS to improve the user experience of Special:ListGroupRights
Firefox, keep bookmark keywords 📅 Jan 5, 2021 · ☕ 12 min read · ✍️ River #firefox Firefox is considering removing bookmark keywords. They should keep them.
Your URL bar is a CLI 📅 Sep 8, 2020 · ☕ 9 min read · ✍️ River #firefox · #leaguepedia When working with wikis, you can use your URL bar as a CLI-like interface for navigation, making your life a lot easier and more efficient!
A new-tab-in-container Firefox hotkey 📅 Jul 1, 2020 · ☕ 3 min read · ✍️ River #autohotkey · #firefox A new AutoHotKey mini-adventure, in which I want a hotkey to create a new tab in a specific container, but here there be dragons!
Setting up a global hotkey to mute-unmute a Firefox stream 📅 Mar 3, 2020 · ☕ 5 min read · ✍️ River #autohotkey · #firefox How to set up a global hotkey to toggle mute a tab of Firefox (for example a Twitch stream) using AutoHotKey