GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-26 04:52:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar: small code and documentation tweaks

Browse Source
This commit is contained in:
hallgren
2011-08-03 14:24:47 +00:00
parent e232c6145d
commit 1a25f04303
6 changed files with 70 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/runtime/javascript/minibar/minibar.html
View File

@@ -1,24 +1,20 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html> <head>
<!DOCTYPE html>
<html>
<head>
<title>Minibar</title>
<link rel=stylesheet type="text/css" href="minibar.css">
<script type="text/JavaScript" src="support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<script type="text/JavaScript" src="pgf_online.js"></script>
<meta name = "viewport" content = "width = device-width">
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
<meta charset="UTF-8">
</head>
<body>
<h2>Minibar online</h2>
<div id=minibar>
</div>
<noscript>
This page doesn't works unless JavaScript is enabled.
</noscript>
<div id=minibar></div>
<noscript>This page doesn't works unless JavaScript is enabled.</noscript>
<hr>
<small>
@@ -27,7 +23,7 @@ This page doesn't works unless JavaScript is enabled.
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
HTML <!-- hhmts start --> Last modified: Tue Mar 22 16:11:27 CET 2011 <!-- hhmts end -->
HTML <!-- hhmts start --> Last modified: Wed Aug 3 15:09:58 CEST 2011 <!-- hhmts end -->
</small>
<address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
@@ -54,11 +50,10 @@ var minibar_options= {
show_trees: true,
show_grouped_translations: false,
default_source_language: "Eng",
feedback_url: "feedback.html",
//feedback_url: "feedback.html",
try_google: true
}
var minibar=new Minibar(server,minibar_options,"minibar");
</script>
</body>
</html>