Merge pull request #6 from DavidKinder/master

Remove Windows-specific workarounds from HTML generation
This commit is contained in:
Graham Nelson 2022-04-30 13:58:09 +01:00 committed by GitHub
commit 0fff5c3216
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 6 deletions

View file

@ -14,7 +14,6 @@ on a POSIX operating system.
@d SHELL_QUOTE_CHARACTER '\"'
@d WINDOWS_JAVASCRIPT
@d INFORM_FOLDER_RELATIVE_TO_HOME ""
@d HTML_MAP_FONT_SIZE 11
= (very early code)
#include <dirent.h>

View file

@ -252,12 +252,7 @@ void HTML::open_javascript(OUTPUT_STREAM, int define_project) {
HTML_OPEN_WITH("script", "type=\"text/javascript\"");
if (define_project) {
WRITE("function project() {\n"); INDENT;
#ifdef WINDOWS_JAVASCRIPT
WRITE("return external.Project;\n");
#endif
#ifndef WINDOWS_JAVASCRIPT
WRITE("return window.Project;\n");
#endif
OUTDENT; WRITE("}\n");
}
}