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

Sorting namespaces table #610

Closed
stefanogermano opened this issue Aug 2, 2023 · 0 comments · Fixed by #619
Closed

Sorting namespaces table #610

stefanogermano opened this issue Aug 2, 2023 · 0 comments · Fixed by #619
Labels
enhancement pressing Will fix issue in next release
Milestone
v1.4.xx

Comments

@stefanogermano
Copy link

Is your feature request related to a problem? Please describe.

The entries in the "Namespaces used in the document" table are not sorted as in the original document, nor in a lexicographical order, nor in any other obvious order.

Describe the solution you'd like

A way to tell WIDOCO to use the original order (or even a lexicographical one).

Additional context

This is somehow related to #608.
@dgarijo dgarijo added enhancement pressing Will fix issue in next release labels Aug 10, 2023
@dgarijo dgarijo added this to the v1.4.xx milestone Aug 10, 2023
dgarijo added a commit that referenced this issue Aug 25, 2023
@dgarijo
fix #610, fix #602, fix #605, Fix #544, Fix #612
f1fa7b4
@dgarijo dgarijo mentioned this issue Aug 25, 2023
Merged
dgarijo added a commit that referenced this issue Aug 25, 2023
@dgarijo
Merge pull request #619 from dgarijo/develop
eb6c2d2 
fix #610, fix #602, fix #605, Fix #544, Fix #612
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement pressing Will fix issue in next release
Projects
None yet
Milestone
v1.4.xx
Development

Successfully merging a pull request may close this issue.

fix #610, fix #602, fix #605, Fix #544, Fix #612 dgarijo/Widoco
2 participants
@dgarijo @stefanogermano