Make minibar.js work again after backwards incompatible changes to the data structures output by pgf-server.

The canParse field was removed without notice.
This commit is contained in:
hallgren
2010-07-13 10:22:03 +00:00
parent 5ea08bd2e8
commit 866ef5ead0

View File

@@ -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++) {