Mentioned by girl gone london
34+ Absolute Must-Do Things in Edinburgh with Kids (2021
"If you need somewhere to get out of the rain, or perhaps your kids need some new shoes after running theirs ragged all over Edinburgh, Ocean Terminal Shopping Center is the place to go. In addition to have regular stores, it has plenty of restaurants so you can grab a family bite to eat, and you can treat the toddlers and younger kids to a stop at a specialty shop like Build – a – Bear while you’re there."