Skip to content

Add option to prevent Skim from selecting the text after performing forward search#2766

Closed
tsung-ju wants to merge 1 commit intolervag:masterfrom
tsung-ju:feat/skim-no-select
Closed

Add option to prevent Skim from selecting the text after performing forward search#2766
tsung-ju wants to merge 1 commit intolervag:masterfrom
tsung-ju:feat/skim-no-select

Conversation

@tsung-ju
Copy link
Copy Markdown
Contributor

@tsung-ju tsung-ju commented Aug 6, 2023

No description provided.

@lervag
Copy link
Copy Markdown
Owner

lervag commented Aug 6, 2023

This is probably all good, but since I don't use Macs and have no way of testing it: @clason would you care to help me confirm that this may be a useful addition?

@clason
Copy link
Copy Markdown
Contributor

clason commented Aug 6, 2023

I'm afk at the moment, but will check it out when I am back.

@lervag
Copy link
Copy Markdown
Owner

lervag commented Aug 28, 2023

@clason friendly reminder (you may still be afk, but in case you just forgot)

@clason
Copy link
Copy Markdown
Contributor

clason commented Aug 28, 2023

Oh, sorry, that completely slipped by me. Looks good to me!

lervag added a commit that referenced this pull request Aug 31, 2023
@lervag
Copy link
Copy Markdown
Owner

lervag commented Aug 31, 2023

Thanks! This is now merged.

@lervag lervag closed this Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants