diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-03 08:21:35 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-03 08:21:35 +0000 |
| commit | dfbf4f9e145a482aa85d42e7373422fd57d619b3 (patch) | |
| tree | 72aa001786e1c578ae11726b4252f407e11d34d9 /src/editor/simple/example_based.js | |
| parent | bb585fef2cf88eeac08ee6f77de1f0ea8130b396 (diff) | |
gfse: references to the GF book in keyword tool tips and style tweaks for example-based grammar editing
Diffstat (limited to 'src/editor/simple/example_based.js')
| -rw-r--r-- | src/editor/simple/example_based.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/editor/simple/example_based.js b/src/editor/simple/example_based.js index f38f657c7..07725d242 100644 --- a/src/editor/simple/example_based.js +++ b/src/editor/simple/example_based.js @@ -146,11 +146,11 @@ function exb_linbuttons(g,ci,f) { if(conc.example_based && eb) { if(eb.exready[fun]) buttons.push(button("By example",by_example)) - if(eb.testable[fun]) { + if(eb.testable[fun] && f.eb_lin) { var b=button("Test it",test_it); buttons.push(b) } - var exb_output=empty("span"); + var exb_output=node("span",{class:"exb_output"},[]); buttons.push(exb_output) } return buttons |