[tor-commits] [arm/master] Replacing ui_tools.crop_str() with str_tools.crop()