campusMapBuildingMenuLabel function
Formats a building menu entry as the original code and display name.
Untranslated codes use fallbackName, omitted when it repeats the code.
Implementation
String campusMapBuildingMenuLabel(String code, {required String fallbackName}) {
final name = campusMapBuildingName(code, fallbackName: fallbackName);
return name == code ? code : '$code: $name';
}