(not to be confused with the function const
)
newtype Const a b = Const { getConst :: a }
/* Dubyas list of annoying stuff he hides in discord using Quick CSS */ | |
/* Want to have this be synced up with your Discord so you don't need to re-copy and paste this for new additions? | |
* Feel free to just import this gist directly by adding the following line: | |
* @import url("https://gist.githubusercontent.com/DubyaDude/1ee0e8c218a22883721635dfae3e022c/raw/DubyasCleanupOfDiscord.css"); | |
*/ | |
/* Disable profile edit page upsell */ | |
div[id="profile-customization-tab"] > div[class^="container_"] | |
{ |
#!/usr/bin/env python3 | |
# | |
# Convert .itermcolors files to kitty terminal color settings. | |
# Modded from https://gist.github.com/MSylvia/4e90860743f1a4de187d | |
# Might need to adjust dicts[i][NUMBER].text per your file. | |
import sys | |
import xml.etree.ElementTree as ET | |
def rgb_to_hex(rgb): |
These are my personal things for making Discord's web app bearable for me -- a barebones text chat application. | |
Almost all nitro / payment / game / voice chat stuff has been hidden / blocked. | |
If something breaks / looks wrong, I'll probably eventually fix it myself, but please leave comments. | |
A lot of the ublock filters only work if your language is set to English. | |
Strongly recommend | |
08/22/2022 - as of current PTB, performance on Firefox has yet again worsened. | |
Related bugzilla entries: | |
https://bugzilla.mozilla.org/show_bug.cgi?id=1605271 |