W3C home > Mailing lists > Public > whatwg@whatwg.org > February 2015

Re: [whatwg] Unicode -> ASCII copy/paste fallback

From: Glenn Maynard <glenn@zewt.org>
Date: Sat, 14 Feb 2015 21:16:53 -0600
Message-ID: <CABirCh-mE__QVhT-_Ho965AAdNsnY+RN-r2M95_m+zZKXQPd=A@mail.gmail.com>
To: David Sheets <kosmo.zb@gmail.com>
Cc: whatwg <whatwg@whatwg.org>
On Sat, Feb 14, 2015 at 12:34 PM, David Sheets <kosmo.zb@gmail.com> wrote:

> I am writing a documentation generation tool for a programming
> language with right arrows represented as -> but would like to render
> them as →. Programmers are used to writing in ASCII and reading
> typeset mathematics. If I present documentation to them via a
> purpose-built document browser, I should give them the option (at the
> generation/styling stage) of making those documents as pleasing as
> possible.

Programmers a decade or two ago, maybe, but not today.

As a programmer, if I see "→" on a page, select it and copy it, I expect to
copy "→", just as I selected.  This sounds like something browsers should
actively discourage.

Glenn Maynard
Received on Sunday, 15 February 2015 03:17:19 UTC

This archive was generated by hypermail 2.4.0 : Wednesday, 22 January 2020 17:00:27 UTC