|
54
|
1 This is a simple, portable clipboard manager written in Kotlin. It
|
|
|
2 should run on all three of {Linux, Macintosh, Windows}.
|
|
|
3
|
|
|
4 Although in most respects pretty basic, it does support one feature that
|
|
|
5 I wish most clipboard managers had (but to my knowledge which none but
|
|
|
6 this one have): the ability to coerce a text from one font family to
|
|
|
7 another. By this I mean, suppose you have a text passage in 10 point
|
|
|
8 Times Roman. The text uses bold and italics for emphasis. You wish to
|
|
|
9 paste into a document as 12 point Helvetica.
|
|
|
10
|
|
|
11 For the vast majority of document-editing programs, you have two
|
|
|
12 choices, both of them bad:
|
|
|
13 1. Paste the text preserving existing formatting, i.e. as 10 point Times
|
|
|
14 Roman, then plod through it converting the plain text parts to 12
|
|
|
15 point Helvetica plain, the italics to 12 point Helvetica oblique, and
|
|
|
16 the bold to 12 point Helvetica bold.
|
|
|
17 2. As above, but paste as plain text, losing all formatting, then put
|
|
|
18 the relevant formatting back.
|
|
|
19
|
|
|
20 Just *try* getting everything correct on the first try, I dare you. Yet
|
|
|
21 all the emphasis is there in the original text; it shouldn’t be *that*
|
|
|
22 hard to use it to generate a comparable text in a new font family. Yet
|
|
|
23 no such option exists!
|
|
|
24
|
|
|
25 ClipMan has such an option. Copy the source text into the clipboard,
|
|
|
26 choose “Coerce…” and select 12-point Helvetica as the proportional font
|
|
|
27 to coerce to. Bam! Done!
|
|
|
28
|
|
|
29 A somewhat obscure operation, perhaps, and even I don’t use it every
|
|
|
30 day. But when I need it, it is *very* convenient to have it.
|
