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

Page XML-Export #11

Closed
Nesbi opened this issue May 15, 2017 · 1 comment
Closed

Page XML-Export #11

Nesbi opened this issue May 15, 2017 · 1 comment
Assignees
@Nesbi
Labels
Type: Enhancement Indicates an enhancement proposal for an existing feature

Comments

@Nesbi
Copy link
Contributor

Nesbi commented May 15, 2017

Add Page XML-Export per page.
Nesbi referenced this issue May 18, 2017
@Nesbi
Merge pull request #12 from chreul/page-xml-export-#11
c1eb7a0 
Added old export class
@Nesbi
Copy link
Contributor Author

Nesbi commented May 18, 2017

PageXML Export is now supported.
The button "Export PageXML" beneath "Segment" as well as the option "File"->"PageXML" will let users download the last Segmentation result of the current page.

@Nesbi Nesbi closed this as completed May 18, 2017
@Nesbi Nesbi self-assigned this May 19, 2017
@Nesbi Nesbi added the Type: Enhancement Indicates an enhancement proposal for an existing feature label May 19, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Nesbi Nesbi

Labels
Type: Enhancement Indicates an enhancement proposal for an existing feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Nesbi