DavG25

> Two questions: > > 1. What is the difference between this and the current markdown support? > 2. What would be the cons of making this a default instead...

Closing this in favor of https://github.com/oobabooga/text-generation-webui-extensions/pull/3 The submitted [standalone version](https://github.com/DavG25/text-generation-webui-code_syntax_highlight) should be easier to maintain and update, it also has some improvements: - Changes to settings apply immediately, for example...

> Thank you @DavG25, I had been meaning to review the extension but got lost. I agree that it's best for you to maintain it in its own repository, and...

Updating Gradio to 3.28 also closes https://github.com/oobabooga/text-generation-webui/pull/1290