Conal-Tuohy / jEdit-TEIPlugin

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

List possible values if @att value data type is teidata.pointer #12

Open MarjorieBurghart opened 4 years ago

MarjorieBurghart commented 4 years ago

One for later :)

When the data type of an attribute is teidata.pointer, it would be great to have contextual help when selecting this attribute from the list of possible @att for a tag. In Oxygen , selecting such an @att from the list gives you a drop down list of all @xml:id values within the same document, which is EXTREMELY helpful to avoid typos. And when you select one of those @xml:id values, it automatically adds a leading "#".

How it works in Oxygen:

You get the list of possible attributes... image

Press enter to select @wit, and now the caret is between tyhe parentheses and you are presented with a list of all the @xml:id values within the current document, with a leading # sign: image

The attribute value has been filled in: image

If you type a space after the value, you get the list of @xml:id values again, and can choose another value; notice that the latest used value is listed first (which is helpful when you do series): image

So in the end you have something like this: image

A similar mechanism would be very useful in JEdit!