From e232c6145d3d1f3500d45c0645f55528136faf45 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 8 Aug 2011 14:04:51 +0000 Subject: [PATCH] minibar: recording old configuration changes --- src/runtime/javascript/minibar/feedback.cgi | 2 +- src/runtime/javascript/minibar/minibar.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/runtime/javascript/minibar/feedback.cgi b/src/runtime/javascript/minibar/feedback.cgi index 52aef9660..0d382f22d 100644 --- a/src/runtime/javascript/minibar/feedback.cgi +++ b/src/runtime/javascript/minibar/feedback.cgi @@ -1,6 +1,6 @@ #!/bin/bash -bin=../bin +bin=bin AUTOHEADER=no . $bin/cgistart.sh diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 3d076f7ae..f669482ee 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -54,7 +54,7 @@ var minibar_options= { show_trees: true, show_grouped_translations: false, default_source_language: "Eng", -//feedback_url: "feedback.html", + feedback_url: "feedback.html", try_google: true } var minibar=new Minibar(server,minibar_options,"minibar");