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