Skip to content

Instantly share code, notes, and snippets.

using System;
using System.Collections.Generic;
using System.Configuration;
using System.Diagnostics;
using System.IO;
using System.IO.Compression;
using System.IO.Pipes;
using System.Linq;
using System.Management;
using System.Net;
@wataf1
wataf1 / close_tabs_below.js
Created May 19, 2018 21:42
Closes all tabs above the belowtab in TreeStyleTabls
function getTabsToClose(tabs,args) {
var foundActiveTab = false;
var toClose = [];
function checkTab(tab) {
var add = args === "above" ? !foundActiveTab : foundActiveTab;
if (add) {
if (!toClose.includes(tab.id)) {
console.log(`Adding ${tab.id} - "${tab.title}" to toClose.`);
toClose.push(tab.id);
}
@wataf1
wataf1 / close_tabs_above.js
Created May 19, 2018 21:35
Closes all tabs above the active tab in TreeStyleTabls
function getTabsToClose(tabs,args) {
var foundActiveTab = false;
var toClose = [];
function checkTab(tab) {
var add = args === "above" ? !foundActiveTab : foundActiveTab;
if (add) {
if (!toClose.includes(tab.id)) {
console.log(`Adding ${tab.id} - "${tab.title}" to toClose.`);
toClose.push(tab.id);
}
@wataf1
wataf1 / treestyletabs-extra-style-rules.css
Last active March 25, 2018 14:41
Extra css for treestyle tabs
/* This goes with mixed theme*/
.tab {
background-color: #e2e2e2;
background-image: url("https://i.imgur.com/l7XdlAC.png"); /*can't figure out how to use a local image here */
}
.tab .label {
font-size: 10px;
font-family: "Segoe UI";
font-stretch: condensed;
@wataf1
wataf1 / userChrome.css
Created March 24, 2018 02:04
my custom firefox
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
/* Please forgive my shitty css, I'm not a web dev
Links:
https://www.reddit.com/r/FirefoxCSS/
For live debug: ctrl+alt+shift+i, grant remote permission, StyleEditor > userChrome.css
https://www.reddit.com/r/FirefoxCSS/comments/73dvty/tutorial_how_to_create_and_livedebug_userchromecss/
https://github.com/Timvde/UserChrome-Tweaks/blob/master/tabs/hide-tabs-windows.css
https://www.howtogeek.com/334716/how-to-customize-firefoxs-user-interface-with-userchrome.css/