Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 18 Nov 2024, at 20:51, Bruce Momjian wrote: > > On Wed, Nov 6, 2024 at 03:58:18PM +0100, Daniel Gustafsson wrote: >>> On 6 Nov 2024, at 15:51, Alvaro Herrera wrote: >>> >>> On 2024-Nov-06, Daniel Gustafsson wrote: >>> Committed, and with some help from Magnus, the docs site has been

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wed, Nov 6, 2024 at 03:58:18PM +0100, Daniel Gustafsson wrote: > > On 6 Nov 2024, at 15:51, Alvaro Herrera wrote: > > > > On 2024-Nov-06, Daniel Gustafsson wrote: > > > >> Committed, and with some help from Magnus, the docs site has been reloaded > >> with > >> the new CSS. Everything seem

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 12 Nov 2024, at 12:51, Alvaro Herrera wrote: > > By the way, is there something funny going on with the transparency of > these tooltips? I was looking at this page today > https://www.postgresql.org/docs/current/creating-cluster.html > and see it like the attached screenshot. The tooltip

Re: A minor bug in doc. Hovering over heading shows # besides it.

By the way, is there something funny going on with the transparency of these tooltips? I was looking at this page today https://www.postgresql.org/docs/current/creating-cluster.html and see it like the attached screenshot. The tooltip appears to have no background color, so the text underneath sh

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 6 Nov 2024, at 20:34, David Rowley wrote: > > On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson wrote: >> >>> On 6 Nov 2024, at 15:51, Alvaro Herrera wrote: >>> Ah, but we kept the #? I thought it was going to be changed to ¶ ... >>> was there any voice against that? >> >> You're right, I

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson wrote: > > > On 6 Nov 2024, at 15:51, Alvaro Herrera wrote: > > Ah, but we kept the #? I thought it was going to be changed to ¶ ... > > was there any voice against that? > > You're right, I mistakenly remembered there being no concensus and didn't

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 7 Nov 2024 at 02:33, Daniel Gustafsson wrote: > Committed, and with some help from Magnus, the docs site has been reloaded > with > the new CSS. Everything seems to behave as expected when testing in Firefox, > Safari, Chrome and Edge. Great. Thank you to you both. David

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 6 Nov 2024, at 15:51, Alvaro Herrera wrote: > > On 2024-Nov-06, Daniel Gustafsson wrote: > >> Committed, and with some help from Magnus, the docs site has been reloaded >> with >> the new CSS. Everything seems to behave as expected when testing in Firefox, >> Safari, Chrome and Edge. > >

Re: A minor bug in doc. Hovering over heading shows # besides it.

On 2024-Nov-06, Daniel Gustafsson wrote: > Committed, and with some help from Magnus, the docs site has been reloaded > with > the new CSS. Everything seems to behave as expected when testing in Firefox, > Safari, Chrome and Edge. Ah, but we kept the #? I thought it was going to be changed to

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 6 Nov 2024, at 07:10, David Rowley wrote: > > On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson wrote: >> >>> On 29 Oct 2024, at 23:36, David Rowley wrote: >>> Do you have access to make this change? I think it needs to go into >>> https://www.postgresql.org/media/css/main.css >> >> I hav

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson wrote: > > > On 29 Oct 2024, at 23:36, David Rowley wrote: > > Do you have access to make this change? I think it needs to go into > > https://www.postgresql.org/media/css/main.css > > I have a pgweb commitbit so if you roll a patch for it I can ta

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 29 Oct 2024, at 23:36, David Rowley wrote: > My thoughts are that it doesn't seem excessively critical that this is > perfect on the first attempt. I'd be happy to see us try to improve > this. Maybe if there's some better way, someone will appear and tell > us how to do it properly. I am ho

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wed, 30 Oct 2024 at 03:46, Daniel Gustafsson wrote: > On the whole I wonder if we shouldn't just go with the proposal since it > improves the status quo, optimizing for users who hover to get link anchors on > mobile probably isn't worth the investment in time. My primary motivation for hackin

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 29 Oct 2024, at 12:31, David Rowley wrote: > > On Thu, 17 Oct 2024 at 20:20, Daniel Gustafsson wrote: >> My main concern is that the relative positioning will push it off screen >> with a >> break on smaller viewports (like phones). > > I can recreate what you sent in the screenshot, but

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 17 Oct 2024 at 20:20, Daniel Gustafsson wrote: > My main concern is that the relative positioning will push it off screen with > a > break on smaller viewports (like phones). I can recreate what you sent in the screenshot, but I have to make my browser window as small as it will go and a

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 17 Oct 2024, at 01:24, David Rowley wrote: > > On Thu, 17 Oct 2024 at 11:19, Bruce Momjian wrote: >> Where are we on this? I still see "#". > > I was hoping for some voting for or against my patch or the general idea of > it. Sorry for the delay, this fell off the inbox-radar. I am in f

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 17 Oct 2024 at 11:19, Bruce Momjian wrote: > Where are we on this? I still see "#". I was hoping for some voting for or against my patch or the general idea of it. Also, my web skills in this area amount to trial and error, so it would also be good to have someone who knows what they're

Re: A minor bug in doc. Hovering over heading shows # besides it.

Where are we on this? I still see "#". --- On Mon, Aug 12, 2024 at 02:19:06PM +1200, David Rowley wrote: > On Fri, 19 Jul 2024 at 06:03, Jonathan S. Katz wrote: > > > > On 7/18/24 1:59 PM, Daniel Gustafsson wrote: > > > L

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Fri, 19 Jul 2024 at 06:03, Jonathan S. Katz wrote: > > On 7/18/24 1:59 PM, Daniel Gustafsson wrote: > > Looking a bit closer, the Python documentation does just this, a pilcrow > > with a > > tool-tip ("Link to this heading") when hovering over it > > I forgot why we went with the "#" and not

Re: A minor bug in doc. Hovering over heading shows # besides it.

On 7/18/24 1:59 PM, Daniel Gustafsson wrote: On 18 Jul 2024, at 15:49, Tom Lane wrote: Daniel Gustafsson writes: While not a standard the pilcrow [0] is, AFAICT from a bit of looking at other docs, commonly used for this. There is a lot of variability though so whichever we choose it will be

Re: A minor bug in doc. Hovering over heading shows # besides it.

Daniel Gustafsson writes: > Looking a bit closer, the Python documentation does just this, a pilcrow with > a > tool-tip ("Link to this heading") when hovering over it Oh nice --- a precedent! And one that a fair number of people will have seen before. +1 for copying Python.

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 18 Jul 2024, at 15:49, Tom Lane wrote: > > Daniel Gustafsson writes: >> While not a standard the pilcrow [0] is, AFAICT from a bit of looking at >> other >> docs, commonly used for this. There is a lot of variability though so >> whichever we choose it will be wrong one for someone. > >

Re: A minor bug in doc. Hovering over heading shows # besides it.

Daniel Gustafsson writes: > While not a standard the pilcrow [0] is, AFAICT from a bit of looking at other > docs, commonly used for this. There is a lot of variability though so > whichever we choose it will be wrong one for someone. I like this suggestion better because that's U+00B6, ie part

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 18 Jul 2024 at 19:46, Daniel Gustafsson wrote: > There is a lot of variability though so > whichever we choose it will be wrong one for someone. I think the tooltip would help reduce the chances of someone being confused. For an example, see [1]. David [1] https://devblogs.microsoft.c

Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 18 Jul 2024, at 07:18, Tom Lane wrote: > Yeah. I've found this new feature useful multiple times already, > but the '#' icon is as non-mnemonic and unobvious as could possibly > be. OTOH, I don't know of a standard icon for this feature. While not a standard the pilcrow [0] is, AFAICT fro

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 18 Jul 2024 at 07:40, David Rowley wrote: > > On Thu, 18 Jul 2024 at 17:18, Tom Lane wrote: > > Yeah. I've found this new feature useful multiple times already, > > but the '#' icon is as non-mnemonic and unobvious as could possibly > > be. OTOH, I don't know of a standard icon for this

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 18 Jul 2024 at 17:18, Tom Lane wrote: > Yeah. I've found this new feature useful multiple times already, > but the '#' icon is as non-mnemonic and unobvious as could possibly > be. OTOH, I don't know of a standard icon for this feature. I also find it useful and certainly don't want it

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wednesday, July 17, 2024, Tom Lane wrote: > David Rowley writes: > > On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram wrote: > >> when we hover over Table Basics, it shows # sign postfixed. I think it > needs to be removed > > > In [1], there was some talk about using another more suitable > > c

Re: A minor bug in doc. Hovering over heading shows # besides it.

David Rowley writes: > On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram wrote: >> when we hover over Table Basics, it shows # sign postfixed. I think it needs >> to be removed > In [1], there was some talk about using another more suitable > character. If the purpose of the '#' isn't obvious, then

Re: A minor bug in doc. Hovering over heading shows # besides it.

Hi David Thanks for the clarification. Regards Kashif Zeeshan On Thu, Jul 18, 2024 at 10:07 AM David Rowley wrote: > On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram wrote: > > 5.1. Table Basics # > > > > when we hover over Table Basics, it shows # sign postfixed. I think it > needs to be removed

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram wrote: > 5.1. Table Basics # > > when we hover over Table Basics, it shows # sign postfixed. I think it needs > to be removed Those are meant to be there. They allow you to copy a URL directly to that doc section. In [1], there was some talk about us

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wednesday, July 17, 2024, Kashif Zeeshan wrote: > > > I have checked other pages too and the issue is only with this page. > There are like thousands of them… https://www.postgresql.org/docs/current/ddl-generated-columns.html#DDL-GENERATED-COLUMNS David J.

Re: A minor bug in doc. Hovering over heading shows # besides it.

On Wednesday, July 17, 2024, Muhammad Ikram wrote: > > Hi, > > On page > > https://www.postgresql.org/docs/devel/ddl-basics.html > > 5.1. Table Basics # > > > when we hover over Table Basics, it shows # sign postfixed. I think it

Re: A minor bug in doc. Hovering over heading shows # besides it.

Hi I have checked other pages too and the issue is only with this page. Regards Kashif Zeeshan On Thu, Jul 18, 2024 at 9:55 AM Muhammad Ikram wrote: > > Hi, > > On page > > https://www.postgresql.org/docs/devel/ddl-basics.html > > 5.1. Table Basics # >