Re: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-11 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 00:17:34 +0100 > From: Vincent Lefevre > Cc: 989...@bugs.debian.org > > [Cc to the Debian bug 989029, which I reported last year: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989029 > > I'm now reporting it upstream since it still occurs with "info" > from Te

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Werner LEMBERG
> A fixed width degree sign can be got with a little difficulty. It's > only worth doing this if somebody is actually using degree signs in > a fixed width context - I don't have much interest in fixing this > for all of the character definitions. > > Please test the patch at the end of this ma

Re: On mobile, menu items examples are too small

2022-11-11 Thread Raymond Toy
On Fri, Nov 11, 2022 at 5:32 PM Gavin Smith wrote: > On Fri, Nov 11, 2022 at 04:16:46PM -0800, Raymond Toy wrote: > > texinfo 7.0 makes a difference. The tables are not in a tiny font. (At > > least when I use chrome and firefox developer tools to simulate a mobile > > device.) > > > > It might

Re: On mobile, menu items examples are too small

2022-11-11 Thread Gavin Smith
On Fri, Nov 11, 2022 at 04:16:46PM -0800, Raymond Toy wrote: > texinfo 7.0 makes a difference. The tables are not in a tiny font. (At > least when I use chrome and firefox developer tools to simulate a mobile > device.) > > It might be good to know what changed to make this work so it doesn't >

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Gavin Smith
On Fri, Nov 11, 2022 at 11:48:47AM +0100, Patrice Dumas wrote: > On Fri, Nov 11, 2022 at 08:47:32AM +, Werner LEMBERG wrote: > > > > [texinfo.tex 2022-11-07.17] > > > > > > I suggest to change the mapping for U+00B0 (DEGREE SIGN) to use > > `@textdegree{}`. > > > > ``` > > \input texinfo >

Re: On mobile, menu items examples are too small

2022-11-11 Thread Raymond Toy
On Fri, Nov 11, 2022 at 1:40 PM Raymond Toy wrote: > > > On Fri, Nov 11, 2022 at 12:18 PM Patrice Dumas wrote: > >> On Fri, Nov 11, 2022 at 10:34:05AM -0800, Raymond Toy wrote: >> > The following examples were built using texinfo 6.8 (haven't upgraded >> to 7 >> > yet). No custom css is used. >

info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-11 Thread Vincent Lefevre
[Cc to the Debian bug 989029, which I reported last year: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989029 I'm now reporting it upstream since it still occurs with "info" from Texinfo 7.0.] The info manual says: ('scroll-backward') Shift the text in this window down. The inver

Re: On mobile, menu items examples are too small

2022-11-11 Thread Raymond Toy
On Fri, Nov 11, 2022 at 12:18 PM Patrice Dumas wrote: > On Fri, Nov 11, 2022 at 10:34:05AM -0800, Raymond Toy wrote: > > The following examples were built using texinfo 6.8 (haven't upgraded to > 7 > > yet). No custom css is used. > > > > Look at > > > https://cmucl.org/docs/cmu-user/html/More-A

Re: On mobile, menu items examples are too small

2022-11-11 Thread Patrice Dumas
On Fri, Nov 11, 2022 at 10:34:05AM -0800, Raymond Toy wrote: > The following examples were built using texinfo 6.8 (haven't upgraded to 7 > yet). No custom css is used. > > Look at > https://cmucl.org/docs/cmu-user/html/More-About-Types-in-Python.html#More-About-Types-in-Python > on a mobile devi

On mobile, menu items examples are too small

2022-11-11 Thread Raymond Toy
The following examples were built using texinfo 6.8 (haven't upgraded to 7 yet). No custom css is used. Look at https://cmucl.org/docs/cmu-user/html/More-About-Types-in-Python.html#More-About-Types-in-Python on a mobile device. I'm using a Pixel 4 phone with both Chrome and Firefox. At the bott

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread pertusus
On Fri, Nov 11, 2022 at 01:50:04PM +, Werner LEMBERG wrote: > > > You probably disagree with many renderings of similar characters, > > then as the rendering is based on math mode, and in many case does > > not lead to fixed width characters (for U+00AE, U+00B1, U+00B2, > > U+00B3...). > > We

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Werner LEMBERG
>> Consistent with what exactly? > > to have ° and @textdegree{} give the same output with Texinfo TeX. OK. >> Does this map back to U+00B0 for cut and paste? > > No. But neither does the current output, which uses ringaccent and > therefore maps to the corresponding character 'COMBINING RING

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread pertusus
On Fri, Nov 11, 2022 at 12:03:11PM +, Werner LEMBERG wrote: > >> ``` > >> \input texinfo > >> > >> @code{45°} > >> > >> @code{45@textdegree{}} > >> > >> @bye > >> ``` > > > > It is better to be consistent in my opinion. > > Consistent with what exactly? to have ° and @textdegree{} give th

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Werner LEMBERG
>> ``` >> \input texinfo >> >> @code{45°} >> >> @code{45@textdegree{}} >> >> @bye >> ``` > > It is better to be consistent in my opinion. Consistent with what exactly? > Here is a proposed patch, it does not use @textdegree but leads to > the same output as @textdegree{}. It fails in @math{}

Re: better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Patrice Dumas
On Fri, Nov 11, 2022 at 08:47:32AM +, Werner LEMBERG wrote: > > [texinfo.tex 2022-11-07.17] > > > I suggest to change the mapping for U+00B0 (DEGREE SIGN) to use > `@textdegree{}`. > > ``` > \input texinfo > > @code{45°} > > @code{45@textdegree{}} > > @bye > ``` It is better to be consi

better glyph for U+00B0 (DEGREE SIGN)

2022-11-11 Thread Werner LEMBERG
[texinfo.tex 2022-11-07.17] I suggest to change the mapping for U+00B0 (DEGREE SIGN) to use `@textdegree{}`. ``` \input texinfo @code{45°} @code{45@textdegree{}} @bye ``` As this small example document shows, the results look better even with typewriter IMHO. Of course, the glyph width mus