//! \since build 397 vector<String> ConvertToUIString(const BookmarkList& lst, ShlTextReader& shl) { vector<String> vec; vec.reserve(lst.size()); for(const auto pos : lst) vec.push_back(ConvertToUIString(pos, shl)); return vec; }