search

Conal-Tuohy / jEdit-TEIPlugin

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

Include a gloss when showing auto-complete options #9

Open Conal-Tuohy opened 4 years ago

Conal-Tuohy commented 4 years ago

When auto-complete is enabled, as well as displaying the list of valid elements, also display a gloss of the currently highlighted option.

MarjorieBurghart commented 4 years ago

Here is for example how it looks like in Oxygen: pop-up-gloss-1 pop-up-gloss-2

MarjorieBurghart commented 4 years ago

I had an idea about this issue... If the regular way to display a tooltip / popup with a short description of the tag proves impossible or too long for the scope of this project, what about displaying just a ling to the element description page in the Guidelines? It can be built automatically from the element name. I haven't checked, but maybe the Oxygen package contains a HTML copy of the guidelines to which you could link (to be able to work offline)?