diff options
| -rw-r--r-- | src/www/minibar/about.html | 6 | ||||
| -rw-r--r-- | src/www/minibar/minibar.css | 5 | ||||
| -rw-r--r-- | src/www/minibar/minibar.js | 47 |
3 files changed, 49 insertions, 9 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index cfc367c7c..c30884078 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -217,11 +217,15 @@ Some implementation details: <li>[Added 2012-11-23] Added support for switching back and forth between the minibar and the new syntax tree editor. The default configuration in <code>minibar_online.js</code> shows how to enable it. + <li>[Added 2012-11-29] After pressing the <strong>i</strong> button to view + grammar info, there is now a <strong>More info</strong> button to get + more detailed information about all categories and functions in the + grammar. </ul> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Thu Nov 29 17:02:43 CET 2012 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Thu Nov 29 20:13:55 CET 2012 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> diff --git a/src/www/minibar/minibar.css b/src/www/minibar/minibar.css index 4766f79f8..03a75a2de 100644 --- a/src/www/minibar/minibar.css +++ b/src/www/minibar/minibar.css @@ -82,3 +82,8 @@ span.brackets { div.brackets .token { padding: 0 0.5ex; } + +div.browse, table.browse td { + background: white; + padding: 2px; +} diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index 51849fc91..e65141ca2 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -142,17 +142,48 @@ Minibar.prototype.change_grammar=function(grammar_info) { } Minibar.prototype.show_grammarinfo=function() { - this.translations.main.innerHTML="" + var t=this var g=this.grammar; + function draw_cats(cats) { + function draw_cat(cat) { + var i=cats[cat] + return tr([td(text(i.def)), + td(text(i.producers.join(", "))), + td(text(i.consumers.join(", ")))]) + } + var table=wrap_class("table","browse",g.categories.map(draw_cat)) + var hdr=tr([th(text("Category")), + th(text("Producers")), + th(text("Consumers"))]) + insertFirst(table,hdr) + return table + } + function draw_funs(funs) { + function draw_fun(fun) { + var def=funs[fun].def.split(":") + return tr([td(text(def[0])),td(text(":")),td(text(def[1]||""))]) + } + return div_class("browse",wrap("table",g.functions.map(draw_fun))) + } + function draw_more(info) { + replaceChildren(cats,draw_cats(info.cats)) + replaceChildren(funs,draw_funs(info.funs)) + btn.disabled=true; + } + + function more() { t.server.browse({},draw_more) } + + var cats=wrap("div",text(g.categories.join(", "))) + var funs=wrap("div",text(g.functions.join(", "))) + var btn=button("More info",more) + + clear(t.translations.main) appendChildren(this.translations.main, [wrap("h3",text(g.name)), - node("dl",{}, - [dt(text("Start category")), - dd(text(g.startcat || "")), - dt(text("Categories")), - dd(text(g.categories.join(", "))), - dt(text("Functions")), - dd(text(g.functions.join(", ")))])]) + btn, + wrap("h4",text("Start category")), text(g.startcat || ""), + wrap("h4",text("Categories")), cats, + wrap("h4",text("Functions")), funs]) } Minibar.prototype.append_extra_buttons=function(extra,options) { |