diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-01 16:37:14 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-01 16:37:14 +0000 |
| commit | 18e368783266f1667b5093e94c1d0c0e50937315 (patch) | |
| tree | 21eb14c78c918516d5b3a3019f9f3fe475612b04 /src/runtime/javascript/minibar/minibar.html | |
| parent | b0027c33057c5472225704622eb7378a87c788b8 (diff) | |
minibar: rewrite minibar.js in a more idiomatic JS OOP style
This provides easier access to minibar internals for people who want to extend
it, but probably also reveals too much of the internal machinery...
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 57ee54b38..34193eb30 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -27,7 +27,7 @@ This page doesn't works unless JavaScript is enabled. & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Tue Oct 26 14:40:33 CEST 2010 <!-- hhmts end --> +HTML <!-- hhmts start --> Last modified: Wed Dec 1 17:36:24 CET 2010 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> @@ -51,9 +51,8 @@ var minibar_options= { default_source_language: "Eng", try_google: true } -start_minibar(server,minibar_options,"minibar1"); +var minibar=new Minibar(server,minibar_options,"minibar1"); </script> - </body> </html> |