|Gebruiker sinds||February 8, 2012|
|Aantal ontwikkelde add-ons||10 add-ons|
|Gemiddelde waardering van add-ons van de ontwikkelaar||Waardering 4 van 5 sterren|
Door mij gemaakte add-ons
An efficient cookie manager. View, edit, delete and search for cookies. Supports private mode and Firefox mobile too. Designed for privacy and security aware users. Enable this extension to open the cookie manager, disable it if you are done.
Removes the annoying link-conversion at Google Search / maps / ...
Instant lyrics on YouTube, Spotify, Deezer, 8tracks, SoundCloud and many other music sites in a flexible panel. 40+ sources ensure that lyrics are always found. Simple to use and highly customizable. (formerly called "YouTube Lyrics by Rob W")
View source code of Firefox addons and Chrome extensions (crx/nex/xpi) from addons.mozilla.org, the Chrome Webstore and elsewhere.
Request websites over secure https by default from the location bar instead of insecure http.
Works perfectly Waardering 5 van 5 sterren
Ctrl + Q quits the browser by default. This is unfortunate, because the shortcut is close to Ctrl-W (= close current tab).
This add-on remaps Ctrl + Q to Ctrl + Shift + Q, and also works in recent Firefox versions (and e10s), so you won't close Firefox by accident any more.
Edit: This add-on does not meet my needs on macOS because on macOS there is also a Command-Q shortcut. After being fed up with losing my tabs multiple times, I published an add-on that replaces Command-Q too: https://addons.mozilla.org/en-US/firefox/addon/disable-ctrl-q-and-cmd-q/
Works perfectly, including Private browsing mode Waardering 5 van 5 sterren
A big advantage of this add-on over the other similar add-ons is that this add-on only implements the promised functionality, and nothing else. There is no configuration: it just works without any surprises.
The add-on is open-source  and the author is very responsive: At first the add-on was not working in private browsing mode, so I contacted the author with a patch and a new update was published within a day.
Fix for Web Developer + NoScript Waardering 5 van 5 sterren
The Web Developer toolbar is a must-have for web developers (arguably better than Firebug).
Unfortunately, the NoScript extension disables this feature. To save enable this feature again, I have written a Greasemonkey script: http://userscripts.org/scripts/show/133136