What tool/plugin is this?

SketchUp
1

Sorry to ask such a lazy question, but i am sure its a really easy question for someone to answer.

In this video at 2:23 the guy clicks a tool which deletes some stray/broken arcs…

Anyone know what this is? Looks like it could be really useful.

2

Edge Tools² > Erase stray curves

3

Thanks… Appreciate you taking the time.

Cheers

Jon