(not to be confused with the function const
)
newtype Const a b = Const { getConst :: a }
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 |
#!/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): |