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

Export Design to HTML #40

Open
justingeeslin opened this issue Jul 7, 2020 · 2 comments
Open

Export Design to HTML #40

justingeeslin opened this issue Jul 7, 2020 · 2 comments
Labels
enhancement New feature or request

Comments

@justingeeslin
Copy link
Member

justingeeslin commented Jul 7, 2020

Per the User Guide, 4.6.2,

To export your Design to HTML: From the Project window:
• Select the Design to export.
• From the File menu, choose Export Design to HTML.

In CogTool, no such option is available, see screenshot.

Screen Shot 2020-07-07 at 5 01 25 PM

@justingeeslin justingeeslin added the bug Something isn't working label Jul 7, 2020
@justingeeslin
Copy link
Member Author

After browsing the source, it appears as though Export to HTML is enabled with research commands on. Should it be? This is included in the User Guide with no mention of research commands to access this feature.

if (research) {
            result.add(EXPORT_TO_XML);
            result.add(EXPORT_DESIGN_TO_HTML);
}

Screen Shot 2020-07-07 at 10 32 32 PM

@justingeeslin justingeeslin added enhancement New feature or request and removed bug Something isn't working labels Jul 8, 2020
@justingeeslin justingeeslin changed the title Export Design to HTML? Export Design to HTML Jul 8, 2020
@EllaVan
Copy link

EllaVan commented Jun 9, 2023

After browsing the source, it appears as though Export to HTML is enabled with research commands on. Should it be? This is included in the User Guide with no mention of research commands to access this feature.

if (research) {
            result.add(EXPORT_TO_XML);
            result.add(EXPORT_DESIGN_TO_HTML);
}
屏幕截图 2020-07-07 在 10 32 32 下午

hi, I am still wondering how to get the command, could you provide me a more detailed step by step instruction?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants