Here's an improvement to #516: Import elements that evaluated to several files are now underlined, and a menu opens when the element is ctrl-clicked:
I realized the element not being underlined is misleading since it suggests nothing was imported.
I replaced the common part of the file paths with ..., as the popup menu felt too wide otherwise. Files that were imported but are not available will be included in the menu as disabled items.
Here's an improvement to #516:
Importelements that evaluated to several files are now underlined, and a menu opens when the element is ctrl-clicked:I realized the element not being underlined is misleading since it suggests nothing was imported.
I replaced the common part of the file paths with
..., as the popup menu felt too wide otherwise. Files that were imported but are not available will be included in the menu as disabled items.