@@ -337,7 +337,7 @@ if (!isset($_SESSION['loggedin'])) {
window.view = view;
view.ui.empty("top-left");
- view.ui.empty("manual");
+ //view.ui.empty("manual");
view.ui.add(
new Expand({
view: view,