0

Option for disabling snippets

Jiyin Yiyong 5 years ago 0
Snippets are no helpful in some languages, and I do need the highlighting part of the certain package.