diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/doc/index.html b/doc/index.html index d0d59c0b8..9c462da41 100644 --- a/doc/index.html +++ b/doc/index.html @@ -10,6 +10,12 @@ <meta name="Description" content="www.scintilla.org is the home of the Scintilla editing component and SciTE text editor application." /> <meta name="Date.Modified" content="20000227" /> + <script> + function IsRemote() { + var loc = '' + window.location; + return loc.indexOf('http:') != -1; + } + </script> <title> Scintilla and SciTE </title> @@ -65,8 +71,13 @@ <td> <font size="4"> <a href="SciTEImage.html">Screenshot</a> <a href="ScintillaDownload.html">Download</a> <a href="ScintillaDoc.html"> - Documentation</a> <a href="ScintillaToDo.html">Bugs</a> <a - href="SciTEDoc.html">SciTE</a> <a href="ScintillaHistory.html"> + Documentation</a> <a href="ScintillaToDo.html">Bugs</a> +<script type="text/javascript" language="JavaScript"><!-- +if (IsRemote()) { + document.write('<a href="SciTEDoc.html">SciTE</a> '); +} +//--></script> + <a href="ScintillaHistory.html"> History</a> <a href="ScintillaRelated.html">Related</a> </font> </td> </tr> @@ -130,11 +141,9 @@ </p> <script type="text/javascript" language="JavaScript"> <!-- -//document.write(window.location); document.write('There is a <a href="https://sourceforge.net/project/?group_id=2439">Scintilla project page<\/a>'); document.write(' hosted on '); -var loc = '' + window.location -if (loc.indexOf('http:') != -1) { +if (IsRemote()) { document.write('<a href="http://sourceforge.net">'); document.write('<img src="http://sourceforge.net/sflogo.php?group_id=2439&type=1" width="88" height="31" border="0" /><\/a> '); } else { |