I created a draw.io diagram. I like to have slight changes to my connectors (change arrow styles, thickness…). I have many connectors in my diagram, so I don’t want to change them one by one. I found out that I can select them by holding down Shift, but I like to have a more convenient way of changing the connectors. Is there a way to select all connectors (or shapes) at once?