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

Sign in to view logs

Triggered via pull request August 6, 2023 04:01

tsung-ju

opened #2766

tsung-ju:feat/skim-no-select

Status Success

Total duration 3m 31s

Artifacts –

main.yml

on: pull_request

Test on ubuntu-latest