[ jEdit-users ] HTML tag completion

[Jim B. <jf_...@co...>]

Running Ubuntu 12.04 - java version 1.8.0_25 & jEdit 5.1.0

I haven't edited any html files for a while with jEdit so I was 
surprised to see it do tag completion.  I guess it is a function of the 
XML plugin that must have been installed sometime as a requirement for 
another plugin.  It works well except that it will not complete <script> 
tags.

Is this a known problem or is there a setting/option I am missing?

Thanks,  Jim