Hi there I'm starting to use the Include tool quite a lot. I have two UI queries/suggestions:
- I have both terms.xml (for often-repeated phrases) and glossary.xml (an official glossary to be included with the document). When I Ctrl-Shift-R, I'm autocompleting from only one of these at a time. It would be good if the tool had a mode where ids from all chosen documents were picked up. Hits would need a filename indication, something like: "api <acronym> in .../docs/terms.xml", or maybe each file could get a colour that matches the colour of the hit. - Often I type the start of the id, e.g. "cite_adm.." and then realise that the glossary is selected instead of the terms list. When I switch, I need to retype "cite_adm.." -- it would be good if I started with the search so far. -- jean . .. .... //\\\oo///\\
