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.

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

Fix #636 #688

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Fix #636 #688

wants to merge 4 commits into from

Conversation

riya24899
Copy link

Add functionality to export a project as an OBO file.

riya24899 and others added 4 commits May 23, 2020 18:48
Add support for OBO files
Adding functionality for OBO files
DownloadFormatExtension fixed, OBO supported, XML files fixed
@riya24899 riya24899 changed the title Fix #636 , #642 Fix #636 May 25, 2020
@VishalS711
Copy link

@riya24899 and I were working together on this issue. Here are some screenshots of the added OBO download feature.

Screenshot from 2020-05-29 09-41-09
Screenshot from 2020-05-29 09-41-26

@@ -19,6 +19,8 @@
RDF_TURLE(TurtleDocumentFormat::new, "text/turtle", DownloadFormatExtension.ttl),

OWL_XML(OWLXMLDocumentFormat::new, "application/owl+xml", DownloadFormatExtension.owx),

OBO(OBODocumentFormat::new, "application/octet-stream", DownloadFormatExtension.obo),
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Curious. Where does this Mime Type come from?

@@ -75,7 +75,7 @@
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>owlapi-gwt</artifactId>
<version>4.3.2.1-SNAPSHOT</version>
<version>4.3.2.1</version>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please can you remove this? It's since been updated.

@@ -81,7 +81,7 @@
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>owlapi-gwt</artifactId>
<version>4.3.2.1-SNAPSHOT</version>
<version>4.3.2.1</version>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please can you remove this? It's since been updated.

Copy link
Contributor

@matthewhorridge matthewhorridge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. I've just a couple of minor comments. Easy to fix. Thanks a lot for the contribution.

@matthewhorridge matthewhorridge added Type: Enhancement A request for a change that is an enhancement Status: Needs Review Indicates that a code change, in a branch/PR, needs to be reviewed labels May 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Status: Needs Review Indicates that a code change, in a branch/PR, needs to be reviewed Type: Enhancement A request for a change that is an enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants