summaryrefslogtreecommitdiff
path: root/src/runtime/javascript/minibar/minibar.html
AgeCommit message (Collapse)Author
2010-10-23minibar.html: add a <noscript> element with a note that the page doesn't ↵hallgren
work unless JavaScript is enabled
2010-09-24minibar.html: specify charset, move initializationhallgren
Added a meta tag to specify that the file is in UTF-8. This makes the browser (at least Firefox) assume that the JavaScript files are also in UTF-8, it seems. Moved the call to start_minibar() from the <body onload="..."> to the end of the file. The onload action is not executed until all images in the document has been loaded, while javascipt at the end of the file is executed as soon as the HTML file has been loaded. (Calling start_minibar() from the head of the document would be too soon, since it refers to elements in the body, which hasn't been loaded yet.)
2010-05-28updated documentationhallgren
2010-05-26Add meta tag to avoid horizontal scrolling in Mobile Safarihallgren
With thanks to codinggeekette, http://www.codinggeekette.com/post/Mobile-Safari-40-2b-Horizontal-Scrolling-3d-SUX.aspx
2010-05-26Enable display of abstract syntax in minibarhallgren
2010-04-30Merge phrasebook.js into minibar.jshallgren
2010-04-19Some work on minibar:hallgren
1. Menu for choosing target language. 2. Pass options when calling start_minibar. See about.html for more details.
2010-04-09Adding the Minibar files to the darcs repository.hallgren