aboutsummaryrefslogtreecommitdiff
path: root/templates/top.inc.php
diff options
context:
space:
mode:
authormensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f>2008-12-04 15:30:59 +0000
committermensonge <mensonge@b3834d28-1941-0410-a4f8-b48e95affb8f>2008-12-04 15:30:59 +0000
commitf7ccbde31062488cbf04b3e4c06a9aa590ebfedd (patch)
treed16cd0b04116be9e62b13f244a3b3db6e095d3cd /templates/top.inc.php
parent381c5755648ca4813d47686345e0b6f1739a17f2 (diff)
downloadsemanticscuttle-f7ccbde31062488cbf04b3e4c06a9aa590ebfedd.tar.gz
semanticscuttle-f7ccbde31062488cbf04b3e4c06a9aa590ebfedd.tar.bz2
Interface fix: add link to gsearch/ on normal search page
git-svn-id: https://semanticscuttle.svn.sourceforge.net/svnroot/semanticscuttle/trunk@198 b3834d28-1941-0410-a4f8-b48e95affb8f
Diffstat (limited to 'templates/top.inc.php')
-rw-r--r--templates/top.inc.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/templates/top.inc.php b/templates/top.inc.php
index 55f0aaa..9bce24f 100644
--- a/templates/top.inc.php
+++ b/templates/top.inc.php
@@ -53,4 +53,7 @@ if (isset($error) && $error!='') {
if (isset($msg) && $msg!='') {
echo '<p class="success">'. $msg ."</p>\n";
}
+if (isset($tipMsg) && $tipMsg!='') {
+ echo '<p class="tipMsg">'. $tipMsg ."</p>\n";
+}
?> \ No newline at end of file