[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT



On Wed, Feb 11, 2015 at 04:14:06PM +0100, Christoph Anton Mitterer wrote:
> On Tue, 2015-02-10 at 22:44 -0800, Russ Allbery wrote: 
> > Whether that was intended or not, that's not what people actually did when
> > they made those keyboard layouts.  They did not put the dot multiplication
> > sign on that key; they put the middle dot symbol on that key.
> Arguing like that, we could never every fix any bugs, or badly designed
> behaviour... "it is as it is and we won't change"... disturbing o.O

> I wouldn't now of any real typographical use of the MIDDLE DOT.

Well if you don't even know what the character is used for, I don't think
you should be insisting on changes to the existing keymap that will
invalidate those uses.

-- 
Steve Langasek                   Give me a lever long enough and a Free OS
Debian Developer                   to set it on, and I can move the world.
Ubuntu Developer                                    http://www.debian.org/
slangasek@ubuntu.com                                     vorlon@debian.org

Attachment: signature.asc
Description: Digital signature


Reply to: