When parsing a project, users can define arbitrary labels (e.g. source). They can also be added later through the project_info.json file from each project. Currently the New Frontend has a hardcoded "Jump to source" label, instead of dynamically reading and displaying all labels. (Which even displayed and does not work, when there is no source label at all.)
When parsing a project, users can define arbitrary labels (e.g. source). They can also be added later through the
project_info.jsonfile from each project. Currently the New Frontend has a hardcoded "Jump to source" label, instead of dynamically reading and displaying all labels. (Which even displayed and does not work, when there is no source label at all.)