def shorten_name(name, max_length = 10):
    if len(name) > max_length:
        return  "..."+name[-max_length:]
    else:
        return name
Makes a string shorter, leaving only certain quantity of the last characters, preceded by '...'.
dataset/ETHPy150Open victor-gil-sepulveda/pyProCT/pyproct/tools/plotTools.py/shorten_name