The problem:
Since we have added so many new symbols to the auto-complete, all aliases of a symbol will appear one by one in the auto-complete list, which looks very cluttered.
Codemirror provides a way to easily consolidate all aliases of a symbol into one auto-complete entry. Implementing that would not only fix this issue, but it will also show a list of available aliases to the user.
The problem:
Since we have added so many new symbols to the auto-complete, all aliases of a symbol will appear one by one in the auto-complete list, which looks very cluttered.
Codemirror provides a way to easily consolidate all aliases of a symbol into one auto-complete entry. Implementing that would not only fix this issue, but it will also show a list of available aliases to the user.