Merge phrasebook.js into minibar.js

2026-04-17 00:39:32 -06:00 · 2010-04-30 14:55:56 +00:00
parent 4fd94cc5c1
commit 87cc4d7624
5 changed files with 145 additions and 43 deletions
--- a/src/runtime/javascript/minibar/phrasebook.html
+++ b/src/runtime/javascript/minibar/phrasebook.html
@@ -0,0 +1,37 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 
+<html> <head> 
+<title>Phrasebook</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">
+var phrasebook_options={
+  server: "http://tournesol.cs.chalmers.se:41296",
+  grammar_list: ["Phrasebook.pgf"],
+  delete_button_text: "Del"
+}
+</script> 
+</head> 
+ 
+<body onload="start_minibar(phrasebook_options)"> 
+
+<div id=minibar> 
+</div> 
+<hr> 
+ 
+<small> 
+
+Based on
+<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>,
+powered by
+<a href="http://www.grammaticalframework.org">GF</a>,
+see
+<a href="../phrasebook.html">doc</a>.
+
+ 
+</body> 
+ 
+</html> 
+
+
+