Re: TOC: List of Figures

2019-07-08 Thread Jonathan S. Katz
On 7/8/19 4:21 PM, Daniel Gustafsson wrote: >> On 8 Jul 2019, at 22:10, Tom Lane wrote: > >> let's wait till there's a >> meaningful number of figures and then reconsider whether there's use in >> a list of them. It's not like it will be any harder to make that change >> in a year or two than it

Re: TOC: List of Figures

2019-07-08 Thread Daniel Gustafsson
> On 8 Jul 2019, at 22:10, Tom Lane wrote: > let's wait till there's a > meaningful number of figures and then reconsider whether there's use in > a list of them. It's not like it will be any harder to make that change > in a year or two than it is today. In that case, let’s record this in the

Re: TOC: List of Figures

2019-07-08 Thread Tom Lane
Daniel Gustafsson writes: >> On 8 Jul 2019, at 21:43, Peter Eisentraut >> wrote: >> This would make sense if we had fifty images spread evenly throughout >> the documentation, or moreover, we had an image for every topic. Then >> learning by just flipping through the images would be interesting

Re: TOC: List of Figures

2019-07-08 Thread Daniel Gustafsson
> On 8 Jul 2019, at 21:43, Peter Eisentraut > wrote: > > On 2019-07-08 07:20, Jürgen Purtz wrote: >> To support the didactic method of media changes we >> should promote graphics with a summarizing list at a prominent place in >> front of the manual. > > This would make sense if we had fifty

Re: TOC: List of Figures

2019-07-08 Thread Peter Eisentraut
On 2019-07-08 07:20, Jürgen Purtz wrote: > To support the didactic method of media changes we > should promote graphics with a summarizing list at a prominent place in > front of the manual. This would make sense if we had fifty images spread evenly throughout the documentation, or moreover, we

Re: TOC: List of Figures

2019-07-07 Thread Jürgen Purtz
Peter Eisentraut writes: On 2019-07-02 10:13, Jürgen Purtz wrote: After the integration of figures into the documentation it may be helpful to extent the TOC with a 'List of Figures'. Any opinion? If yes: The same for 'List of Tables' and 'List of Examples'? I have never found these useful.

Re: TOC: List of Figures

2019-07-07 Thread Tom Lane
Peter Eisentraut writes: > On 2019-07-02 10:13, Jürgen Purtz wrote: >> After the integration of figures into the documentation it may be >> helpful to extent the TOC with a 'List of Figures'. Any opinion? >> >> If yes: The same for 'List of Tables' and 'List of Examples'? > I have never found t

Re: TOC: List of Figures

2019-07-07 Thread Peter Eisentraut
On 2019-07-02 10:13, Jürgen Purtz wrote: > After the integration of figures into the documentation it may be > helpful to extent the TOC with a 'List of Figures'. Any opinion? > > If yes: The same for 'List of Tables' and 'List of Examples'? I have never found these useful. What would you use t

Re: TOC: List of Figures

2019-07-03 Thread Jürgen Purtz
After the integration of figures into the documentation it may be helpful to extent the TOC with a 'List of Figures'. Any opinion? If yes: The same for 'List of Tables' and 'List of Examples'? There is a simple way to enable this feature: change line 56 of stylesheet-html-common.xsl to: "book

Re: TOC: List of Figures

2019-07-02 Thread Alvaro Herrera
On 2019-Jul-02, Daniel Gustafsson wrote: > > On 2 Jul 2019, at 10:13, Jürgen Purtz wrote: > > > The alternative is a downshift of the postings by one level, see attachment > > 2. How to realize this behavior is shown in attachment 3. > > This alternative seems a better idea. I agree -- the ot

Re: TOC: List of Figures

2019-07-02 Thread Oleg Bartunov
On 2 Jul 2019, at 11:13, Jürgen Purtz wrote: After the integration of figures into the documentation it may be helpful to extent the TOC with a 'List of Figures'. Any opinion? If yes: The same for 'List of Tables' and 'List of Examples'? There is a simple way to enable this feature: change line

Re: TOC: List of Figures

2019-07-02 Thread Jonathan S. Katz
On 7/2/19 4:43 AM, Daniel Gustafsson wrote: >> On 2 Jul 2019, at 10:13, Jürgen Purtz wrote: > >> After the integration of figures into the documentation it may be helpful to >> extent the TOC with a 'List of Figures'. Any opinion? > > +1, I think we should. +1 > >> The alternative is a downs

Re: TOC: List of Figures

2019-07-02 Thread Daniel Gustafsson
> On 2 Jul 2019, at 10:13, Jürgen Purtz wrote: > After the integration of figures into the documentation it may be helpful to > extent the TOC with a 'List of Figures'. Any opinion? +1, I think we should. > The alternative is a downshift of the postings by one level, see attachment > 2. How t

TOC: List of Figures

2019-07-02 Thread Jürgen Purtz
After the integration of figures into the documentation it may be helpful to extent the TOC with a 'List of Figures'. Any opinion? If yes: The same for 'List of Tables' and 'List of Examples'? There is a simple way to enable this feature: change line 56 of stylesheet-html-common.xsl to: "book