Not working with Jenkins pipeline configuration

[borisbrodski]

First of all - thank you for this incredably useful and long awaited plugin!

The most useful use case for me is the Jenkins Pipeline configuration editor. This editor is kind of non-standard and so doesn't work with GhostText :(

It would be great, it this could be fixed.

Steps to reproduce:

• Install Jenkins
• Create a pipe-line configuration
• Try to edit pipe line groovy-script with GhostText