Replies: 2 comments
-
You're looking for something like #12 right? |
Beta Was this translation helpful? Give feedback.
0 replies
-
Exactly. Sorry, I hadn’t seen #12
… On Jan 8, 2024, at 2:39 AM, Tony Zorman ***@***.***> wrote:
You're looking for something like #12 <#12> right?
—
Reply to this email directly, view it on GitHub <#15 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AHHLZXJVGVUWUTV3IQJTHO3YNOPEBAVCNFSM6AAAAABBQ2P6LKVHI2DSMVQWIX3LMV43SRDJONRXK43TNFXW4Q3PNVWWK3TUHM4DANBUHAYDS>.
You are receiving this because you authored the thread.
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Beyond the erase option there is currently only select:
"select: Changes to select tool. On deactivation, changes back to writing utensil"
Any interest from users in creating a new tool that is highlight - ideally so that it toggles between the writing pen and the highlight pen? I end up swapping a good bit while marking up PDFs...
-mike
Beta Was this translation helpful? Give feedback.
All reactions