benoitryder

// Change tabs with mousewheel
// Run into Browser Toolbox console

var onTabWheel = function(ev) {
  if (ev.deltaMode == 1 /* DOM_DELTA_LINE */) {
    var idx = gBrowser.tabContainer.getIndexOfItem(gBrowser.selectedTab);
    if (ev.deltaY > 0) {
      if (idx + 1 < gBrowser.tabs.length) {
        gBrowser.selectTabAtIndex(idx + 1);
      }

vphantom

#!/bin/bash
#
# Example wrapper script to run an application jailed inside the VPN.
# "myvpn" is the name of my namespace.
#
sudo -E ip netns exec myvpn sudo -E -u lis -- ~/bin/firefox.bin/firefox &

e7p

#!/usr/bin/env python3
import sys
import base45
import zlib
import cose.messages.sign1message
from cose.keys import EC2Key
import cbor2
import datetime
import base64
import json

sampsyo

#!/usr/bin/env python

"""Aliases for argparse positional arguments."""

import argparse

class AliasedSubParsersAction(argparse._SubParsersAction):

    class _AliasedPseudoAction(argparse.Action):
        def __init__(self, name, aliases, help):

marcedwards

/* ---------------------------------------------------------- */
/*                                                            */
/* A media query that captures:                               */
/*                                                            */
/* - Retina iOS devices                                       */
/* - Retina Macs running Safari                               */
/* - High DPI Windows PCs running IE 8 and above              */
/* - Low DPI Windows PCs running IE, zoomed in                */
/* - Low DPI Windows PCs and Macs running Firefox, zoomed in  */
/* - Android hdpi devices and above                           */