diff options
| author | hallgren <hallgren@chalmers.se> | 2015-05-21 08:00:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-05-21 08:00:49 +0000 |
| commit | 803963352821febcb81382602866fcc32fca4d00 (patch) | |
| tree | 0c007c6c65b357dba6ac0842b6efe1890fce9cf0 /src/www/gfse/index.html | |
| parent | a37d792d14e4f6a8b190ac864b78ae925cbd130e (diff) | |
Fixed a problem with minibar when invoked from gfse or the syntax editor
Minibar needs js/langcode.js now, so need to include it in gfse/index.html
and syntax-exitor/editor.html too.
Diffstat (limited to 'src/www/gfse/index.html')
| -rw-r--r-- | src/www/gfse/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index 0eb76be46..4fa291242 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -34,7 +34,7 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start -->Last modified: Tue Apr 23 14:05:30 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Thu May 21 09:47:39 CEST 2015 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <pre id=debug></pre> @@ -42,6 +42,7 @@ HTML <script type="text/javascript" src="../js/support.js"></script> <script type="text/JavaScript" src="../js/pgf_online.js"></script> <script type="text/javascript" src="../js/localstorage.js"></script> +<script type="text/JavaScript" src="../js/langcode.js"></script> <script type="text/javascript" src="localstorage.js"></script> <script type="text/javascript" src="gf_abs.js"></script> |