Hello!
I am using the iOS app, and I believe it would be great if the Apple Pencil 2 Double-tap functionality could be used to switch between different annotation tools (e.g. pen vs highlighter, pen vs eraser, highlight vs underline etc). Ideally, users could select which tools they would like to switch between
Thanks!