Mercurial > cgi-bin > hgweb.cgi > ClipMan
view README.txt @ 57:c6cccbe2f393
Port to OpenJDK 15 (mostly done).
author | David Barts <n5jrn@me.com> |
---|---|
date | Wed, 23 Mar 2022 23:56:29 -0700 |
parents | a9d5c94a177c |
children |
line wrap: on
line source
This is a simple, portable clipboard manager written in Kotlin. It should run on all three of {Linux, Macintosh, Windows}. Although in most respects pretty basic, it does support one feature that I wish most clipboard managers had (but to my knowledge which none but this one have): the ability to coerce a text from one font family to another. By this I mean, suppose you have a text passage in 10 point Times Roman. The text uses bold and italics for emphasis. You wish to paste into a document as 12 point Helvetica. For the vast majority of document-editing programs, you have two choices, both of them bad: 1. Paste the text preserving existing formatting, i.e. as 10 point Times Roman, then plod through it converting the plain text parts to 12 point Helvetica plain, the italics to 12 point Helvetica oblique, and the bold to 12 point Helvetica bold. 2. As above, but paste as plain text, losing all formatting, then put the relevant formatting back. Just *try* getting everything correct on the first try, I dare you. Yet all the emphasis is there in the original text; it shouldn’t be *that* hard to use it to generate a comparable text in a new font family. Yet no such option exists! ClipMan has such an option. Copy the source text into the clipboard, choose “Coerce…” and select 12-point Helvetica as the proportional font to coerce to. Bam! Done! A somewhat obscure operation, perhaps, and even I don’t use it every day. But when I need it, it is *very* convenient to have it.