Richard Heck wrote: > On 03/04/2015 04:07 PM, Georg Baum wrote: >> >> The idea is simply to give a better display for those users who use these >> packages. AFAIK these commands do not occur in any toolbar, menu or >> autocompletion (and if they would this would be a bug). > > That is a bit confusing for the user. Is there anything we can do?
Yes, it can be confusing. I think we have two options: 1) remove these macros from autocompletion 2) comment them in lib/symbols I have no string preference. Which version do you prefer? Georg
