WIP: New Global ids icons
This is a potential alternative of !5256 (closed)
Instead of make global ids array names bold, a new icon is displayed next to the array name.
Edited by Cory Quammen
GitLab update will be applied on June 28th, between 8am and 10:30am, EDT (UTC-04:00). This site may have intermittent delays during that time.
This is a potential alternative of !5256 (closed)
Instead of make global ids array names bold, a new icon is displayed next to the array name.