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 nikol...@rath.org 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

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 seems

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. Best,

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

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

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) suitably filled

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 handwriting

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: Multi_key period period period : … U2026 # HORIZONTAL ELLIPSIS That's a bad idea as another default combination is a prefix of that: Multi_key period period which gets

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 could

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

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 os...@debian.org} [general] general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT Set Bug forwarded-to-address to

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 nikol...@rath.org 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.

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.

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 b...@decadent.org.uk} [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

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 cales...@gmail.com 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