On 1/11/17 11:55, Peter Eisentraut wrote:
> On 1/4/17 11:50 PM, Tom Lane wrote:
>> Anyway, bottom line is I'm not terribly excited about fixing just this
>> one place.  I think we need to decide whether we like the new more-verbose
>> output for links.  If we don't, we need to fix the markup rules to not do
>> that.  If we do, there are a lot of places that need adjustment to be less
>> duplicative, and we should try to be somewhat systematic about fixing
>> them.
> 
> We can turn off the new link appearance and change it back to the old
> one.  We had previously speculated that this change might be awkward in
> some cases, but without any concrete cases.  If we have concrete cases,
> we can change it.

This question is still open.  Do we want to keep the new linking style
Section 1.2.3, "Title", or revert back to the old style just Section
1.2.3?  It's a simple toggle setting.

-- 
Peter Eisentraut              http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services


-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to