Follow pyqode.core

adaptations needed to make the highlighter look faster.