changeset 55:7ad2b29a7f60

Merge... bah.
author David Barts <n5jrn@me.com>
date Tue, 13 Apr 2021 10:34:51 -0700
parents a9d5c94a177c (diff) b1198e4bec25 (current diff)
children 22725d4d7849
files
diffstat 1 files changed, 30 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README.txt	Tue Apr 13 10:34:51 2021 -0700
@@ -0,0 +1,30 @@
+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.