dorkbutt/vencord
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

UserScript: disable theme ui, instead recommend Stylus

Browse source
This commit is contained in:
Vendicated 2025-06-07 00:06:01 +02:00
parent fae15dbdfe
commit c19827a0e5
No known key found for this signature in database
GPG key ID: D66986BAF75ECF18
7 changed files with 48 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/globals.d.ts vendored
View file

@ -29,11 +29,12 @@ declare global {
* replace: "IS_WEB?foo:bar"
* // GOOD
* replace: IS_WEB ? "foo" : "bar"
* // also good
* // also okay
* replace: `${IS_WEB}?foo:bar`
*/
export var IS_WEB: boolean;
export var IS_EXTENSION: boolean;
export var IS_USERSCRIPT: boolean;
export var IS_STANDALONE: boolean;
export var IS_UPDATER_DISABLED: boolean;
export var IS_DEV: boolean;