Extends the default plain-text Plugins Editor with more features such as: line numbers, colour-coded code syntax and error-checking.