diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-24 13:59:09 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-24 13:59:09 +0000 |
| commit | 0715cfe2aef2fee3188565cb2b84a3a799dc1c43 (patch) | |
| tree | f037f7fc779d259baeb0b84cfe0d8e4f1a189fba /src/www/minibar/minibar.js | |
| parent | 23ec403402f10a7fd9156844d4d16cd26f34a2cd (diff) | |
minibar: include the grammar's last modification in the grammar info shown by the "i" button
Also bumped version number in gf.cabal to 3.6-darcs.
Also removed some unecessary use of CPP.
Diffstat (limited to 'src/www/minibar/minibar.js')
| -rw-r--r-- | src/www/minibar/minibar.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index 4c68173e9..c299cb77c 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -244,8 +244,13 @@ Minibar.prototype.show_grammarinfo=function() { var btn=button("More info",more) clear(t.translations.main) + var hdr=[text(g.name)] + if(g.lastmodified) { + hdr.push(text(" ")) + hdr.push(wrap("small",text("("+g.lastmodified+")"))) + } appendChildren(this.translations.main, - [wrap("h3",text(g.name)), + [wrap("h3",hdr), btn, wrap("h4",text("Start category")), text(g.startcat || ""), wrap("h4",text("Categories")), cats, |