| Author | DaveJarvis <email> |
|---|---|
| Date | 2023-03-07 16:20:57 GMT-0800 |
| Commit | 8a358d4732a53e8a792ad8f130b8d64b628535b8 |
| Parent | 9f94c60 |
| Delta | 9 lines added, 0 lines removed, 9-line increase |
| Action.file.export.pdf.repeat.icon=FILE_PDF_ALT | ||
| +Action.file.export.html.dir.description=Export files in document directory as HTML | ||
| +Action.file.export.html.dir.accelerator=Shortcut+Shift+H | ||
| +Action.file.export.html.dir.text=Joined _HTML | ||
| +Action.file.export.html.dir.icon=HTML5 | ||
| + | ||
| Action.file.export.html_svg.description=Export the current document as HTML + SVG | ||
| Action.file.export.text=_Export As |
| } | ||
| + public void file_export_html_dir() { | ||
| + file_export( XHTML_TEX, true ); | ||
| + } | ||
| + | ||
| public void file_export_repeat() { | ||
| typeset( mTypesetService ); |