From d0954d2f208118e59d51063181ccd4a1e88c07f5 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 13 Jul 2010 10:22:03 +0000
Subject: [PATCH] Make minibar.js work again after backwards incompatible
 changes to the data structures output by pgf-server.

The canParse field was removed without notice.
---
 src/runtime/javascript/minibar/minibar.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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