Add option to choose Highlight.js theme

Permanently deleted user

• 16 de agosto de 2019 20:10

Highlight.js is a good library, and it powers the syntax highlighting in Discord, but there's a lot of themes made by them, and some are really nice. So why not add the option to change this theme?

Highlight.js:

https://highlightjs.org/static/demo/ 

24

• 

  Permanently deleted user

  • 16 de agosto de 2019 20:19

  Here's a mockup of what it could look like in the Settings menu.

  2
• 

  bemental

  • 8 de abril de 2020 09:34

  obscure request, but would love this as well.

  1

Por favor, entrar para comentar.