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

2015-02-13 Thread Bjørn Mork
Nikolaus Rath writes: >> How dare you write ... instead of the proper … :-P > > I'm curious, how do you type that in conviently? I hope it's not copying > and pasting from a template file, and remembering (and/or finding out) > the X11 Compose sequence seems cumbersome too. I see that you have g

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

2015-02-12 Thread Don Armstrong
On Thu, 12 Feb 2015, Adam Borowski wrote: > On Thu, Feb 12, 2015 at 07:50:56AM -0800, Don Armstrong wrote: > > : "…" U2026 # > > HORIZONTAL ELLIPSIS > > That's a bad idea as another default combination is a prefix of that: >which gets you... "…" (U+2026). It just means that

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

2015-02-12 Thread Adam Borowski
On Thu, Feb 12, 2015 at 03:17:58PM +, Edmund Grimley Evans wrote: > > I wouldn't now of any real typographical use of the MIDDLE DOT. > > It's a proper, traditional decimal point, isn't it, as taught in > British primary schools and still the normal way of doing a decimal > point in handwritin

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

2015-02-12 Thread Adam Borowski
On Thu, Feb 12, 2015 at 07:50:56AM -0800, Don Armstrong wrote: > > > > I'm curious, how do you type that in conviently? > > Just to give an additional option which no one else seems to have used: > > If you map a key to Multi_key, and have ~/.XCompose (or your system-wide > compose file) suitabl

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

2015-02-12 Thread Don Armstrong
On Wed, 11 Feb 2015, Nikolaus Rath wrote: > > How dare you write ... instead of the proper … :-P > > I'm curious, how do you type that in conviently? Just to give an additional option which no one else seems to have used: If you map a key to Multi_key, and have ~/.XCompose (or your system-wide c

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

2015-02-12 Thread Edmund Grimley Evans
> I wouldn't now of any real typographical use of the MIDDLE DOT. It's a proper, traditional decimal point, isn't it, as taught in British primary schools and still the normal way of doing a decimal point in handwriting when there are no technological obstacles? https://en.wikipedia.org/wiki/Inte

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

2015-02-12 Thread Osamu Aoki
On Wed, Feb 11, 2015 at 11:32:32PM +0100, Christoph Anton Mitterer wrote: ... > It should be noted for those who seems to accuse me of bad faith, that > I, personally, use a custom keymapping anyway,... so I don't care much > whether it's left as is or not. Just for the record, I am not accusing y

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

2015-02-12 Thread Johannes Schauer
Quoting Benjamin Drung (2015-02-12 12:25:06) > Am Mittwoch, den 11.02.2015, 21:15 -0800 schrieb Nikolaus Rath: > > I'm curious, how do you type that in conviently? I hope it's not copying > > and pasting from a template file, and remembering (and/or finding out) the > > X11 Compose sequence seems c

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

2015-02-12 Thread Jean-Christophe Dubacq
[ ⏰ 12/02/2015 06:15 ] [ ✎ Nikolaus Rath ] >> How dare you write ... instead of the proper … :-P > I'm curious, how do you type that in conviently? I hope it's not copying > and pasting from a template file, and remembering (and/or finding out) > the X11 Compose sequence seems cumbersome too. > > B

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

2015-02-12 Thread Benjamin Drung
Am Mittwoch, den 11.02.2015, 21:15 -0800 schrieb Nikolaus Rath: > > How dare you write ... instead of the proper … :-P > > I'm curious, how do you type that in conviently? I hope it's not copying > and pasting from a template file, and remembering (and/or finding out) > the X11 Compose sequence se

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

2015-02-11 Thread Ben Finney
Nikolaus Rath writes: > I'm curious, how do you type that [U+2026 HORIZONTAL ELLIPSIS] in > conviently? GNOME and KDE have the IBus [0] “input method engine”, IME. GNOME by default presents the IBus input method manager for allowing the user to select different input methods. An “input method”

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

2015-02-11 Thread Nikolaus Rath
> How dare you write ... instead of the proper … :-P I'm curious, how do you type that in conviently? I hope it's not copying and pasting from a template file, and remembering (and/or finding out) the X11 Compose sequence seems cumbersome too. Best, -Nikolaus -- GPG encrypted emails preferred.

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

2015-02-11 Thread Jonas Smedegaard
Quoting Joachim Breitner (2015-02-12 00:23:13) > Am Mittwoch, den 11.02.2015, 23:32 +0100 schrieb Christoph Anton > Mitterer: >> Anyway, to finally end this ugly matter on the Debian side, I've >> forwarded the pointer about this possible issue upstream, so that >> they can choose to have what De

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

2015-02-11 Thread Jeremy Stanley
On 2015-02-11 23:32:32 +0100 (+0100), Christoph Anton Mitterer wrote: [...] > Am I know expected to insult you as well? Guess I'm not up to date, what > Debian's CoC actually demands, it only seems to be usable when being > against me but not for myself ;-) [...] Apologies--I was paraphrasing Ralp

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

2015-02-11 Thread Joachim Breitner
Hi, Am Mittwoch, den 11.02.2015, 23:32 +0100 schrieb Christoph Anton Mitterer: > Anyway, to finally end this ugly matter on the Debian side, I've > forwarded the pointer about this possible issue upstream, so that they > can choose to have what Debian didn't want to do - a proper look at the > mat

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

2015-02-11 Thread Christoph Anton Mitterer
Control: forwarded -1 https://bugs.freedesktop.org/show_bug.cgi?id=89092 Since that's the first good valid argument against I feel I should answer: On Wed, 2015-02-11 at 21:12 +, Jeremy Stanley wrote: > My passwords will stop working. (Okay, not _mine_ specifically, but > someone's...) Chan

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

2015-02-11 Thread Debian Bug Tracking System
Processing control commands: > forwarded -1 https://bugs.freedesktop.org/show_bug.cgi?id=89092 Bug #777643 {Done: Osamu Aoki } [general] general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT Set Bug forwarded-to-address to 'https://bugs.freedesktop

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

2015-02-11 Thread Jeremy Stanley
On 2015-02-11 16:14:06 +0100 (+0100), Christoph Anton Mitterer wrote: [...] > Is there any special reason why you think it would be bad idea? > Like a use case where people depend on having the MIDDLE DOT and > which would break if it was changed? [...] My passwords will stop working. (Okay, not _

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

2015-02-11 Thread Steve Langasek
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

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

2015-02-11 Thread Christoph Anton Mitterer
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 cou

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

2015-02-10 Thread Russ Allbery
Christoph Anton Mitterer writes: > It seems to be quite logical that actually the dot multiplication sign > is meant, it's on the same key then the cross multiplcation sign, and in > the group of arithmetic operators. Whether that was intended or not, that's not what people actually did when the

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

2015-02-10 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reopen 777643 Bug #777643 {Done: Ben Hutchings } [general] general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT Bug reopened Ignoring request to alter fixed versions of bug #777643 to the same valu

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

2015-02-10 Thread Christoph Anton Mitterer
reopen 777643 stop On Wed, 2015-02-11 at 05:08 +, Ben Hutchings wrote: > This is speculation, not a proper bug report. And is there any reason to name it "speculation" apart from that being just your personal opinion without any further arguments for it? It seems to be quite logical that act

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

2015-02-10 Thread Christoph Anton Mitterer
Package: general Severity: normal Hey. Sorry for reporting against general, but actually I'm not quite sure which package(s) is/are canonically responsible for the keyboard mappings in all different places (console, X, wayland) these days. Some keyboard layouts (at least the German one) give th