Hacker News new | ask | show | jobs
by prima-facie 974 days ago
This is very useful, thanks. With a clipboard manager like Clipman you can tick 'Ignore mouse selections'.