diff options
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index a52474934..adfa1b086 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -67,8 +67,7 @@ function draw_grammar_list() { home.appendChild(node("table",{"class":"grammar_list"},rows)); } - home.appendChild( - ul([li([a(jsurl("new_grammar()"),[text("New grammar")])])])); + home.appendChild(ul(li(a(jsurl("new_grammar()"),[text("New grammar")])))); //editor.appendChild(text(local.count)); home.appendChild(empty_id("div","sharing")); } @@ -1745,9 +1744,8 @@ function touch_edit() { /* --- DOM Support ---------------------------------------------------------- */ function a(url,linked) { return node("a",{href:url},linked); } -function ul(lis) { return node("ul",{},lis); } -function li(xs) { return node("li",{},xs); } -function table(rows) { return node("table",{},rows); } +function ul(lis) { return wrap("ul",lis); } +function table(rows) { return wrap("table",rows); } function td_right(cs) { return node("td",{"class":"right"},cs); } function td_center(cs) { return node("td",{"class":"center"},cs); } function jsurl(js) { return "javascript:"+js; } |