diff options
| author | hallgren <hallgren@chalmers.se> | 2010-07-13 10:22:03 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-07-13 10:22:03 +0000 |
| commit | d0954d2f208118e59d51063181ccd4a1e88c07f5 (patch) | |
| tree | 088d9c077a10083871909ad70f640e9affe5f879 /src | |
| parent | 647b5ffff2becc0252f639c89eb3d79034be78cf (diff) | |
Make minibar.js work again after backwards incompatible changes to the data structures output by pgf-server.
The canParse field was removed without notice.
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index a93222e8a..27cd75476 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -142,7 +142,7 @@ function show_languages(grammar) { menu.innerHTML=""; for(var i=0; i<lang.length; i++) - if(lang[i].canParse && !hasPrefix(lang[i].name,"Disamb")) + if(/*lang[i].canParse &&*/ !hasPrefix(lang[i].name,"Disamb")) menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i)); if(options.default_source_language) { for(var i=0;i<menu.options.length;i++) { |