Conal-Tuohy / jEdit-TEIPlugin

A plugin for the jEdit editor to help support text encoding
6 stars 0 forks source link

Not add attributes already in element #20

Open jamescummings opened 4 years ago

jamescummings commented 4 years ago

The plugin should not allow/encourage me to do things which aren't well-formed. For example if I press space with the cursor located at <p|> it helpfully gives me a drop-down menu of attributes (hurrah! Necessary for teaching!) but if I put in a 'part' attribute say, <p part="I"|> when I next press space it should not list part among the list of available attributes. Otherwise I can put in

which isn't well-formed. So presumably it would need to parse the attributes already on the element I'm in and remove them from the list.

I recognise that this may depend on the XML plugin, but if so it should be fixed there because it is a basic well-formedness error.