diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-08-14 03:44:46 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-08-14 03:44:46 +0000 |
| commit | 9931362030c9536caf5c1d04a34d428b59bf3b04 (patch) | |
| tree | 3cf8a28b8d0b8b34bb78b327affbff359b319dd2 /examples/hide-bug/A.hs | |
| parent | d7f6809cabbface09dc1b016591774b729413f00 (diff) | |
build style menu in javascript
moved to javascript, so as to not polute the content with the style menu
removed menu building code in Themes.hs
removed onclick in Utils.hs
changed text of button in header from "Source code" to "Source"
more consistent with links in rest of page
Diffstat (limited to 'examples/hide-bug/A.hs')
0 files changed, 0 insertions, 0 deletions