Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add List of Figures #420

Closed
neumannd opened this issue Dec 7, 2022 · 12 comments · Fixed by #451
Closed

Add List of Figures #420

neumannd opened this issue Dec 7, 2022 · 12 comments · Fixed by #451
Labels
change agreed Issue accepted for inclusion in the next version and closed enhancement Proposals to add new capabilities, improve existing ones in the conventions, improve style or format

Comments

@neumannd
Copy link
Contributor

neumannd commented Dec 7, 2022 •
edited
Loading

Title

Add List of Figures

Moderator

@davidhassell

Moderator Status Review [last updated: YYYY-MM-DD]

Brief comment on current status, update periodically

Requirement Summary

It would be useful to have a "List of Figures" because there is a "List of Examples" and a "List of Tables".

Technical Proposal Summary

Add a "List of Figures" to toc-extra.adoc

Benefits

Readers can easily find the figures

Status Quo

There is a "List of Examples" and a "List of Tables" but no "List of Figures"

Associated pull request

PR #451

Detailed Proposal

Add a "List of Figures" to toc-extra.adoc
@neumannd neumannd added the enhancement Proposals to add new capabilities, improve existing ones in the conventions, improve style or format label Dec 7, 2022
@neumannd neumannd mentioned this issue Dec 7, 2022
Closed
4 tasks
@JonathanGregory
Copy link
Contributor

Thank you for doing this, @neumannd. I think this will be a useful addition.

@neumannd
Copy link
Contributor Author

Would anyone volunteer to be moderator of this?

@davidhassell
Copy link
Contributor

I'd be glad to moderate.

@neumannd
Copy link
Contributor Author

@davidhassell Thanks. I added you to the description of the proposal.

@neumannd
Copy link
Contributor Author

Any objections?

@neumannd neumannd mentioned this issue Aug 25, 2023
Closed
@neumannd
Copy link
Contributor Author

Might be decided in combination with #286 and #418

@neumannd neumannd mentioned this issue Aug 28, 2023
Merged
4 tasks
@neumannd
Copy link
Contributor Author

@JonathanGregory @davidhassell New PR based on current main branch.

@JonathanGregory
Copy link
Contributor

Thanks, @neumannd. The list of figures will be useful. The PR also contains the changes we merged yesterday, though - they shouldn't be there, should they?

@neumannd
Copy link
Contributor Author

@JonathanGregory The PR has been updated now. I created it too early.

@JonathanGregory
Copy link
Contributor

Thanks again, @neumannd. That looks good to me. This is a useful enhancement. @davidhassell, as moderator, do you think it's OK?

@neumannd
Copy link
Contributor Author

@davidhassell reminder

@JonathanGregory JonathanGregory linked a pull request Sep 26, 2023 that will close this issue
List of figures #451
Merged
4 tasks
@JonathanGregory
Copy link
Contributor

I will merge this now. No-one objected to the idea and sufficient support was expressed, and more than enough time has passed. Thanks, @neumannd.

@JonathanGregory JonathanGregory added the change agreed Issue accepted for inclusion in the next version and closed label Sep 26, 2023
@larsbarring larsbarring mentioned this issue Dec 6, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
change agreed Issue accepted for inclusion in the next version and closed enhancement Proposals to add new capabilities, improve existing ones in the conventions, improve style or format
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

List of figures
3 participants
@JonathanGregory @davidhassell @neumannd